Add a Dockerfile using envsetup.sh