bin/git_is_clean.sh: add non-quiet mode