Support pip's --user option in mypy's --install-types
#11707
| Job | Run time |
|---|---|
| 8m 30s | |
| 18m 40s | |
| 27m 5s | |
| 19m 8s | |
| 18m 8s | |
| 17m 54s | |
| 23m 10s | |
| 5m 16s | |
| 5m 11s | |
| 1m 47s | |
| 2m 30s | |
| 35s | |
| 2h 27m 54s |