Add redis to Travis CI