Auto-generate coq makefile
Fix Isabelle installation
Run exercises in parallel on Travis CI