provision.sh: sleep after stopping docker, takes a bit sometimes