I think I'm now going to use this other redis extension: https://github.com/nicolasff/phpredis
PHP configuration file to be added by travis ci.
Added travis.ini to the php environment.