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).