new global greps for: inverse grep + inverse grep with ignore-case

Signed-off-by: Dominik Richter <dominik.richter@gmail.com>