Update mypy from 1.7.1 to 1.13.0

Author: pyup-bot

docs/requirements-dev.txt

@@ -6,7 +6,7 @@ flit==3.9.0
 hypothesis==6.91.0
 ipython==8.14.0
 lint==1.2.1
-mypy==1.7.1
+mypy==1.13.0
 pylint==3.0.2
 pyperf==2.6.2
 pytest>=6.0.0