Automatically generate documentation with Sphinx

Automatically generates and publishes documentation using Sphinx via Gitlab CI.

HTML output is published to Pages, and PDF output is also generated. Documentation is only produced for commits on master, dev/autodocs, and tags.

Note that this merge represents a step forward in documentation: it makes the tools run and has some useful content, but not all the documentation is written yet.