Working out how to copy data to a docker container's filesystem