Automate Alloy marking
Unzip student submissions into submissions/
Run the following to mark all tasks of a student
./all_tasks submissions/<a student submission.als>
Run the following to mark a specific task of a student
./one_task submissions/<a student directory>/<task.X.als>