Changed travis config for hhvm