Fixed a turn queueing bug.
Problems can now be skipped using the SKIPPROBLEM server command (in the
GUI, double-click the problem panel). Straightened out a few oddities
in the server code related to the dispatching of GameListener.finished()
commands.