add a redis-server to travis config