Dump PHPStorm settings for others