git: Make case insensitive matching nicer

Rename GrepCommits to GrepCommitsCaseInsensitive and add
--regexp-case-insensitive flag when calling git.

Change-Id: e973546cb4
Story-Id: SF-84