docker: be a bit smarter in the make clean target, so that we also
accomodate diretories underneath the generated directory.

refs #3551