This provides a way for users not using provision.py to install mypy. [with substantial tweaks by tabbott]
Eklavya Sharma