add support for case-insensitive patterns
Merge pull request #519 from dpb587/grep-ignorecase

Add support for case-insensitive patterns with grep filter.