Update to 0.800
Changes: http://mypy-lang.org/news.html
https://github.com/python/mypy/commits/master
PR: 253027 Submitted by: amdmi3