Add HHVM as a PHP version.

Not to be merged yet, just testing to see if this works.