Studydocs: Always require type and add options.

Created by: NotSpecial

We do not wish to allow studydocs without type anymore, so the type field is not not nullable and required.

Furthermore, we wish to differentiate between spring and autumn exams for better filtering, so the previous exam type is replaced.

Closes #422 (closed)

amivapi/tests/studydocs/test_summary.py

@@ -65,7 +65,8 @@ class StudydocsSummaryTest(WebTestNoAuth):
         assert '_summary' in response
         assert response['_summary'] == {
             'type': {
-                'lecture documents': 1,  # The document with title `third` is ignored
+                # The document with title `third` is ignored
+                'lecture documents': 1,
                 'cheat sheets': 1,
             },
             'lecture': {