add a quiet option to git-checkout