Use mkdocs for documentation
This MR introduces a new documentation setup using mkdocs, instead of including documentation directly in the website. This makes it easier to contribute documentation, search it, and gives us richer formatting features (e.g. warnings, tips, etc).
Edited by Yorick Peterse