switching to travis hhvm-nightly