We still allow people to pass --[no-]ext-grep on the command line,
but the option is ignored.
Signed-off-by: NJunio C Hamano <gitster@pobox.com>