add redis to travis CI