Update 0.13

-Fixed a bug where solving a puzzle on Tab2 where automatically setting Tab1 as default and miscalculating scores
-The leaderboard scores will not be reset right now, but when a big update with new puzzles is released