added option to recycle Docker containers
added option to recycle Docker containers

flxw/codeocean,torpedro/codeocean,torpedro/codeocean,flxw/codeocean,openHPI/codeocean,flxw/codeocean,openHPI/codeocean,openHPI/codeocean,flxw/codeocean,flxw/codeocean,openHPI/codeocean,openHPI/codeocean,torpedro/codeocean,torpedro/codeocean,openHPI/codeocean,torpedro/codeocean