requirements: Upgrade mypy to 0.711.

This comes with it a big performance improvement; mypy is now only
barely our slowest linter even if it wasn't previously running.

Fixes: #12058

requirements/dev.txt

@@ -91,7 +91,7 @@ matrix-client==0.3.2
 mock==2.0.0
 moto==1.3.7
 mypy-extensions==0.4.1
-mypy==0.670
+mypy==0.711
 oauthlib==3.0.1           # via requests-oauthlib, social-auth-core
 packaging==19.0           # via sphinx
 parsel==1.5.1             # via scrapy
@@ -171,7 +171,7 @@ traitlets==4.3.2          # via ipython
 transifex-client==0.12.5
 twilio==6.26.2
 twisted==19.2.1
-typed-ast==1.3.5          # via mypy
+typed-ast==1.4.0          # via mypy
 typing==3.6.6
 urllib3==1.25.3           # via botocore, requests, transifex-client
 virtualenv-clone==0.5.3

requirements/mypy.in

@@ -2,4 +2,4 @@
 # /tools/update-locked-requirements to update requirements/dev.txt
 # and requirements/mypy.txt.
 # See requirements/README.md for more detail.
-mypy==0.670
+mypy==0.711

requirements/mypy.txt

@@ -8,5 +8,5 @@
 # For details, see requirements/README.md .
 #
 mypy-extensions==0.4.1    # via mypy
-mypy==0.670
-typed-ast==1.3.1          # via mypy
+mypy==0.711
+typed-ast==1.4.0          # via mypy

version.py

@@ -26,4 +26,4 @@ LATEST_RELEASE_ANNOUNCEMENT = "https://blog.zulip.org/2019/03/01/zulip-2-0-relea
 #   historical commits sharing the same major version, in which case a
 #   minor version bump suffices.
 
-PROVISION_VERSION = '41.0'
+PROVISION_VERSION = '42.0'

zerver/lib/queue.py

@@ -1,4 +1,3 @@
-
 from collections import defaultdict
 import logging
 import random