Change Travis CI configuration to use PHP 5.5