Case-sensitive searching

[dwhieb]

Add a checkbox to make search case-sensitive.

This should be off by default.

This option should add the i flag to the regular expression search.

To Do

• [ ] Write test(s).
• [ ] server / database
• [ ] API / querystring
• [ ] HTML
• [ ] CSS

[dwhieb]

Decided not to do this for now because this is covered by regular expressions. Might change our minds later.

[dwhieb]

Reopening this so that users have the ability to specify case-insensitive search in regular expressions.