add redis server to travis ci