Dockerfile for Gauche