Adding HHVM to build matrix

Fixes PHP