Fix confusingly named variable
Initial Leaderboard commit, WIP server-side support and client-->GUI leaderboard communication bugs. **Does not make any user-facing changes**
Merge branch 'lobby' of http://github.com/JoshuaJB/0ad into lobby