Add HHVM as a PHP version.