docker: do ADD container/docker later on so that the Dockerfile can be updated and still reuse a cached image after the major setup steps are done