Update travis file to install php-redis extension