Added a getter for whether the game has ended.  Please feel free to move
or modify so long as it remains possible to obtain the game results.