[travis] Added hhvm option