Documentation build in CI

[dokempf]

Both the wiki and the Doxygen documentation should be build in CI and be published as a static website to e.g. Github Pages.

[dokempf]

Result of the dev meeting on January 25th: Doing this is desirable, but we should double check the following options:

• How to do versioning in mkdocs
  • Could deploy to with a URL prefix
  • Look into plugins for mkdocs
• Deploying to RTD - how does it work?

[dokempf]

Potentially relevant documentation: https://squidfunk.github.io/mkdocs-material/setup/setting-up-versioning/