More cool linting

To make everyone even more happy I activated more checks of our linters:

1. test type hints with mypy for all linted folders including examples and tests
2. 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.