Add sphinx-lint to CI/CD pipeline
To make sure the documentation is always correctly formatted, I would like to hereby introduce sphinx-lint
as part of the CI/CD pipeline (next to its presence in the pre-commit hooks, which was added in !112 (merged)).