Dockerfile to build redis