Bump version of PhpStorm to 7.1.2