Redis Dockerfile for Docker index