redis server in travis CI