Check that mypy is installed (#106212)
Otherwise `python -mmypy filenames` just outputs something like "No module named mypy" and the lint run looks successful.
Fixes #78695, or at least one possible cause for it.
Pull Request resolved: https://github.com/pytorch/pytorch/pull/106212
Approved by: https://github.com/ezyang