git log/diff: add -G<regexp> that greps in the patch text