Added PHP HHVM to travis.