Helena 0.8.2 M

* type "make" or "make opt" to compile the native executable

* type "make clean" to remove the products of compilation

- type "make export-coq" to build the "grundlagen" for Coq 8

* type "make profile" to validate the "grundlagen" 31 times
  it generates etc/profile.txt with sorted execution times

* type "make profile-coq" to run coqc on the "grundlagen" 31 times
  it generates etc/profile.txt with sorted execution times
  coqc must be installed on your system