Prevent server from crashing when client crashes
Refactored game-over behaviour
Protocol adjusted to communicate about end-of-game.