Remote HHVM from travis.yml (for now).