Draft: Build documentation
Add a documentation source tree to build a separate online documentation. Move most content from the README into that documentation. Add a CI/CD pipeline to build and deploy this documentation as GitLab pages.
Add a documentation source tree to build a separate online documentation. Move most content from the README into that documentation. Add a CI/CD pipeline to build and deploy this documentation as GitLab pages.