3 * type "make" or "make opt" to compile the native executable
5 * type "make clean" to remove the products of compilation
7 - type "make export-coq" to build the "grundlagen" for Coq 8
9 * type "make profile" to validate the "grundlagen" 31 times
10 it generates etc/profile.txt with sorted execution times
12 * type "make profile-coq" to run coqc on the "grundlagen" 31 times
13 it generates etc/profile.txt with sorted execution times
14 coqc must be installed on your system