git ignore of phpStorm settings file