Add leaderboard

Uses an ElasticSearch index to get the top 1000 players during the last
month.