Leaderboard auto refresh

The leaderboard should get automatically updated

maybe by a websocket with gorilla/websocket (cause we use the rest of their framework)