Documentation/git-pull: put verbosity options before merge/fetch ones