Graceful shutdown #194
Description
With signals (e.g. USR1), it should be possible to trigger a "graceful shutdown", that is, the server will not start new games anymore but will wait until ongoing games are finished and then terminate itself.
This would be useful when we need to restart the server during the competition.