New improvements

This release has a few new improvements in the background, like a materialized view for the leaderboard, as well as pagination for the current user in the leaderboard. Also the web push notifications have been improved. Enjoy!