platform/dev/generator/Dockerfile