hmlgrep: implement --ignore-case