developer-setup: Mention the current mypy version we use
To avoid discrepancy with tox when pre-commit is triggered.