Refactoring of Bots. Now easily extensible for experimenting with different AI objectives. Most old bot code is now in DefaultBot.