Change travis to use php5-fpm instead of php-cgi