Install PHP 7 on Ubuntu 14.04 with Gearman support

PHP 7 has been out long enough now that it has seen a couple of patch releases, which is about the time I will start evaluating an upgrade. PHP 7 can have some significant performance benefits from previous versions, so I was eager to give it a try. With the php-gearman extension now available for PHP 7, my prerequisites have been met.