Enable discerning the winning player.

'gameEnd' becomes 'winner', which returns an option: the integer number
of the winner of the game, or else none.
Merge branch 'winners'