Tweak lists
Merge branch 'master' of https://github.com/groep10/game
Cleanup menu stuff, fix server list.
Merge branch 'master' of https://github.com/groep10/game