Change Travis CI configuration to test with hhvm