Added HHVM to PHP versions for Travis-CI