switch travis hhvm to nightly