add redis to travis-ci config