Moved .ssh ADD for jenkins user into top-level Dockerfile.in