Prepare for public release

docker-clean-all

@@ -0,0 +1,9 @@
+#!/bin/bash
+
+# remove exited containers:
+docker ps --filter status=dead --filter status=exited -aq | xargs -r docker rm -v
+# remove unused images
+docker images --no-trunc | grep '<none>' | awk '{ print $3 }' | xargs -r docker rmi -f
+# remove unused volumes:
+docker volume prune -f
+