platform/dev/tool/Dockerfile