Specify that we use redis on travis.