Community Leaderboard.

This commit adds a leaderboard that can be accessed from the user profile, or directly from the Community page. It shows the best 20 users, and if the user is logged in, his current rank.