Automatic static site generation needed.

[barabo]

Ideally, all published documentation will be updated for each push to master in this repository. To do that, we should use some flavor of GitHub Action combined with mkdocs.