Upgrade PHPStorm.app to v7.1.3