Merge branch 'master' into 'master'

Changed output format of anonymization mapping to csv

See merge request !1

hektor.py

@@ -234,8 +234,8 @@ def do_anonymous(students: Dict[str, Union[str, List]]):
     } for r, student in zip(reverser, students)]
 
     with open(args.personal_secret_table, 'w') as out:
-        print('key, previous identifier, fullname', file=out)
-        print('\n'.join('%s %s %s' % (anonymous_key,
+        print('key;previous identifier;fullname', file=out)
+        print('\n'.join('%s;%s;%s' % (anonymous_key,
                                       data['identifier'],
                                       data['fullname'])
                         for anonymous_key, data in reverser.items()), file=out)