a Docker image to run redis-server