Publish docsite

Might as well deploy to gitlab pages when we support it: https://gitlab.developers.cam.ac.uk/uis/devops/devhub/gitlab-deploy/-/issues/298

At the same time it would be nice to reconsider how we build the docsite: !2 (comment 216755)