Evenint case study

Adds an evenint case study (from the tutorial) with some additional fun variations to the case studies.

Also change the build order in the Makefile a bit, in order to first generate all the Coq files and then run Coq in parallel on all of them.