Bump PHPStorm version to 7.1.2