Add docs and gitlab pages jobs to CI
This MR adds a docs
build to execute the Sphinx build, and a pages
job to then publish that (only for pushes to the default branch of the main repo).
This MR adds a docs
build to execute the Sphinx build, and a pages
job to then publish that (only for pushes to the default branch of the main repo).