Log Message:
Update php71 to 7.1.0rc6 (PHP 7.1.0RC6), including security fix.

10 Nov 2016, PHP 7.1.0RC6

- Core:
  . Fixded bug #72736 (Slow performance when fetching large dataset with mysqli
    / PDO). (Dmitry)

- Date:
  . Fixed bug #73426 (createFromFormat with 'z' format char results in
    incorrect time). (Derick)

- JSON:
  . Introduced encoder struct instead of global which fixes bugs #66025 and
    #73254 related to pretty print indentation. (Jakub Zelenka)

- ODBC:
  . Fixed bug #73448 (odbc_errormsg returns trash, always 513 bytes).
    (Anatol)

- PCRE:
  . Fixed bug #73392 (A use-after-free in zend allocator management).
    (Laruence)

- PDO_Firebird:
  . Fixed bug #73087, #61183, #71494 (Memory corruption in bindParam).
    (Dorin Marcoci)

- SPL:
  . Fixed bug #73423 (Reproducible crash with GDB backtrace). (Laruence)