Added GameManagerContract.
Added options for single-player.
Fixed load_game_postcondition.
Merge pull request #4 from isupeene/game_manager_contract

Added GameManagerContract.