Implemented %% integer division operator

https://wiki.php.net/rfc/intdiv

There's also a pull request that just adds a function to `ext/standard` instead, in case I can't get the operator in: https://github.com/php/php-src/pull/722