Makefile: Fix and update docker-clean.