auto-prune docker-dev containers

Disk space can grew quickly if you are jumping in and out of
docker-dev without --rm=true