Add and document a global --no-pager option for git.