added hhvm as PHP version to test