When using "docker-machine ssh" with a command that takes several minutes to execute, the ssh connection is dropped.
For example, when issuing "docker-machine ssh theMachine docker-compose pull" and the docker images are big, then the connection drops.
docker-machine ssh should use the SSH option ServerAliveInterval=60 among the default SSH options.