Show names of discarded cards in tooltip. Fixes #9.

Created by  Fabian Neumann  on February 15, 2018
CKRKS2J4DDTBL25Z7OUIKJYQUHFKNRQMVNQZZZ3YYJMS5O7SNHQAC
Change contents