Add game-end display of how many times each card played

[alextfish]

In an upgrade-heavy game like 518, the game-end display is accurate for showing score, but doesn't show much of how the player got there. It'd be interesting to show extra information at the end of the game, perhaps how many times each action/treasure was played, including ones no longer in the player's deck due to being upgraded out of the way.

Or failing that, a simpler version would be to just show a list of all cards that were trashed from that player's deck.