teach "git branch" a --quiet option