Enhancement: add option isearch-ignore-case

[Konstantin Glukhov]

Hello,

Is it possible to request a new feature?
Add an option isearch-ignore-case.

I am sure I am not the first one who is suggesting this.

I am willing to contribute to the change if resources are tight.