Regular expressions and possibly case sensitivity

[jtooker]

For find and replace, have both regular expression and case sensitivity toggle options (with buttons ".*" and "Aa")