mypy_path option split on [:,] before environment variable expansion

Hi,

given an environment variable composed of multiple path, eg export A=/foo:/bar, using the following mypy.ini fails to recognize the two paths foo and bar

[mypy]
mypy_path = $A

This is a consequence of splitting the option on [:,] before expanding environment variables. (https://github.com/python/mypy/blob/master/mypy/config_parser.py#L85)

Would it be sufficient / not harmful to replace the parsing function with the following ?

lambda s: re.split('[,:]', expand_path(s.strip()))

Beginne in mypy/config_parser.py ungefähr bei Zeile 85 und reproduziere das Problem mit der gezeigten mypy.ini und der Umgebungsvariable A. Überprüfe die Reihenfolge der Pfadaufteilung und -erweiterung; fertig ist es, wenn ein Wert wie $A zu sowohl /foo als auch /bar erweitert wird und beide Pfade erkannt werden.