Fix mixed-indent
Begin GUI update and fix #2101.
Some bits of doc missed in last commit.
Merge branch 'lobby' of https://github.com/JoshuaJB/0ad into lobby-rankings