Timeout

[beorn7]

Allow a timeout to be set as a game parameter. Can be a couple of minutes for synchronous play, 24hrs for async. Whenever a player does not act within the timeout, invoke the auto-play algorithm, see #58.

In phase 6 and 7, have a total time for the whole phase. Once the time is over, the phase simply ends. Probably, it should be possible to set phase 6 to a longer time than the normal timeout. (e.g. 2min timeout for a fast synchronous game, but then allow 10min for phase 6).