Mkdocs migration

As the website is only a single page content, migrate to a full-fledge SSG for easier maintainability and content edition. Also, reduce the JavaScript by 99% as there is no interaction needed here.

Use MkDocs with the Material theme as it is simple, powerful and customizable.