Auto refresh room list after leaving room. Fixes
issue #320 for voluntarily and involuntarily coming to room list.
Fix regression from 6480 too. Extra assignments might make this slightly less efficient.
Start converting into monadic code using Reader monad (will be used to store information about namespace)
Bind 1-5 in defaults. Missions really need the option to pick a team though, using default team if none supplied.
android: moved the different objects representing the different game parameters to a different package
android: startgamemenu now has some default values, plus the themes are ordered alphabetically