Code for the official robotgame.net server.