Add hhvm to travis config (and see what happens)