MakerKing 0.12.5 : Server optimizations, score fix — MakerKing Steam update #419005

Version 0.12.5 Hello Makers! This version improves server loading times for the sake of making MakerKing a game that can scale up with the number of players. With 70k players we already had performance issues when loading statistics, listing levels or finishing a level. The optimizations should make the experience of the game a lot more fluid for all of that. Furthermore the score system had for a long time been broken due to difficult math needed to keep it. It now has been fixed to the best of our abilities. I also added 2 new type of global leaderboard that can be consulted in game, since the server changes made this quite easy. Enhancements : Global leaderboard can now also shows ranking for number of world records and levels cleared Optimized the time to query levels in the database by a factor of about 32 (3.2 sec -> 100 ms) making the level browser much more responsive Optimized t...