color-grep: better handling of --ignore-case