Update deployment scripts, add leaderboard feature, and bump version to 2.0.0

schema.py

@@ -80,3 +80,28 @@ scores_save = {
         }
     }
 }
+
+# Leaderboard schemas
+leaderboard_check = {
+    '$schema': 'http://json-schema.org/schema#',
+    'type': 'object',
+    'properties': {
+        'song_id': {'type': 'string'},
+        'difficulty': {'type': 'string'},
+        'score': {'type': 'integer'}
+    },
+    'required': ['song_id', 'difficulty', 'score']
+}
+
+leaderboard_save = {
+    '$schema': 'http://json-schema.org/schema#',
+    'type': 'object',
+    'properties': {
+        'song_id': {'type': 'string'},
+        'difficulty': {'type': 'string'},
+        'username': {'type': 'string', 'minLength': 1, 'maxLength': 10},
+        'score': {'type': 'integer'}
+    },
+    'required': ['song_id', 'difficulty', 'username', 'score']
+}
+