Convert README to Markdown, clean up.

The Markdown format is convenient for viewing on Github.
Add html target to generate HTML using coqdoc
Replace README wih README.md