added hhvm to travisci configuration