git grep -O -i: if the pager is 'less', pass the '-i' option