Leaderboard

This adds the synchronization of scores (with the server being the authoritative source of all player scores) and the display of all player scores in a leaderboard `table` animated using the MixItUp jQuery plugin.