Added GameManagerContract.

@bsoetaer 
Should we have a start_game_precondition that assert(!game_in_progress) would be similar to the quit_game contracts.