Deploy stable and development docs from the CI
Currently the docs would be deployed from whatever branch runs the job, overriding any older docs. This has to be fixed somehow but it's unclear how to best do that with gitlab pages other than manually cloning all relevant branches, building the docs and making sure they end up in different directories.
github pages has a feature for mapping branches to directories.