Adding Mintty to WebStorm 9.0.3