Improved handling of players leaving the game. Bug fix.

Created new leave() command method to isolate code that handles players
leaving while a game is in the inProgress state. Updated other methods
that use the "leave" mechanism. Fixed NullPointException caused when
informPlayer() attempts to send a message to a nick that is no longer in the
game channel.