[travis] Special php.ini settings for hhvm