Bugfix: nows enforces to resume saved game.

  A change in the API of the server. After the line
  '<name> wants to play a <ml> point match with you.'
  there now maybe additional lines before a 'WARNING'.
New option 'ignore_resume'.

  An mode to run the bot without insisting on resuming saved games.
  This is handy when devoloping code, where the bot may not
  start action in resuming a game.