If you need to copy files between a host and a Docker container, here’s how