add redis to travis ci