add hhvm back in to travis config