More cool linting
To make everyone even more happy I activated more checks of our linters:
- test type hints with mypy for all linted folders including
examples
andtests
- use all checks of the sphinx-lint linter.
I also excluded the auto generated directory in docs/src/examples
from the linting. In the past this let the linter fail if you generated the docs and afterward you tried to run the linter again.