GitLab

To manage external links such as for Python Modules, we are now using the extension sphinx.ext.extlinks to define all of them in the file doc/external_links.py.

Also adding some labels needed for referencing various parts of the
rest of the documentation.