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).