Add hhvm php to travis build