Fix #58 by implementing the fix and kicking all bots when the map changes.
Remove the now obsolete master server workaround.