dodecdeploy/Dockerfile; other dodecdeploy tweaks