Add --ignore-case

The new option makes timestat case insensitive in:

- -I/--ignore-pattern PATTERN;
- -O/--only-pattern PATTERN;
- quickadd %PATTERN".