Clarify the option section header in 'repo help grep'

Signed-off-by: Shawn O. Pearce <sop@google.com>
1 file changed