Make git clean -nxd silent after make distclean
Also check that invariant in CI: After a make distclean
git clean -nxd should find no files.
The hope is that this catches cases were a make clean would forget to
list a .gitignored file that should either be registered as a
(DIST_)CLEAN_FILES or should be unignored and committed into the