Added HHVM to travis-ci config