Is PHP 7 on travis yet?