git-grep: document --and, --or, --not, ( and )