Docker: only copy what we need to the build image