Merge pull request #4273 from SvenDowideit/docker-build-rm

reinforce that docker build --rm is a good default to use