use redis in travis