Simple leaderboard implementation using redis.