--install-types does not work with --python-executable

[weddige]

install_types always calls sys.executable and is therefore not compatible with a custom executable:

mypy/mypy/main.py

Line 1162 in 1bf701f

cmd = [sys.executable, '-m', 'pip', 'install'] + packages

The solution would be to pass options.python_executable from main.