add hhvm to PHP versions to test against