add '$ make doc' with files in assets now properly licensed

adds new option 
```bash
$ make doc
```
to make html documentation with toggable proofs in directory "enhanced-html"
The original 
```bash
$ make html
```
is unmodified, goes to directory "html"

Files by Guillaume Verdier, https://github.com/gverdier/coqdoc-overlay