Don't duplicate mypy version number in documentation #691
Description
docs/source/conf.py should use the mypy version string defined in mypy/version.py.
{{ message }}
docs/source/conf.py should use the mypy version string defined in mypy/version.py.