small modifications to docker cleanup
Merge branch 'docker_setup' of github.com:GlobAllomeTree/GlobAllomeTree into docker_setup