docker-gc shell function I use to keep Docker from filling up my hard disk