Auto-generate exercise files
This is the same as tutorial-popl18!4 (merged). I slightly adjusted the syntax to be more like what this repository seems to expect, so the exercise generator now understand that Qed. typically ends a solution. (I will update the other repository if we agree on this syntax.)