Doc generation automation #167
Description
Automate the generation of documentation.
We started to use mdoc to generate documentation as well as unidoc to generate ScalaDoc documents integrated with the documentation and docusaurus to generate the website.
One final step that is not yet working is to automate the deployment of the docs to gh-pages after a tag is being created.