Added PHP_INT_MIN

Since this has been added to PHP master, it should be added to the language specification master: https://github.com/php/php-src/pull/755