Vv master for coq8.4pl3patched

I made some modifications to the instructions for compilation and the main `README` file:

* converted to Markdown format so it is easier to read both in pure form and on Github.
* added a target to `Makefile` to generate the HMTL files.

I can confirm that these instructions work on OSX. I will not test them on Linux as well.