Code

tools/distclean: use git-clean when possible