Added the game server contract.
Modified game_server_contract to make the restriction on number of players part of the join method invariatnt instead of the precondition.
Merge pull request #21 from isupeene/game_server_contract

Added the game server contract.