Add documentation with docusaurus

With this MR we make a new website for the project, hoping to have a generated documentation with a better look. We use Docusaurus (documentation tool recommended by @mbouaziz) to post-process the output of coqdoc. In addition, we can render any Markdown file together with the proofs to add documentation to the project.

Home

Coq file

Markdown file