Add a "Ignore case" option to QuickFind.

Fixes #48