Remove the event loop at the beginning of play_game().

Adjust frontends to match.  This again simplifies the flow of the code
and effectively reverts 6a72679.  I hope this is an improvement in the
long run...