Use simplified version of HHVM on Travis-CI