Have the leaderboard use the new UI style.
Merge branch 'lobby' of https://github.com/JoshuaJB/0ad into lobby-rankings