Add HHVM to PHP docs