Enhanced Coqdoc - proofs can be collapsed and hidden

this PR adds 
```
$ make doc
```
to the Makefile, which postprocesses the HTML files produced. Through this postprocessing the proofs can be hidden and shown, thus allowing to focus on statements.