Adds default_max_game_time_in_minutes as config option; minor Fixes