Drupal 7.59

Update to PHP 7.1. For details see https://pantheon.io/blog/speed-your-site-php-72/.