updated travis-ci config to use hhvm nightly