Merge branch 'jc/pickaxe-ignore-case'

By Junio C Hamano (2) and Ramsay Jones (1)
* jc/pickaxe-ignore-case:
ctype.c: Fix a sparse warning
pickaxe: allow -i to search in patch case-insensitively
grep: use static trans-case table

diff --cc ctype.c
Simple merge

diff --cc diff.h
Simple merge

diff --cc git-compat-util.h
Simple merge

diff --cc grep.c
Simple merge

diff --cc revision.c
Simple merge