search: support case field in repository search

Created by: keegancsmith

Previously it wasn't part of the repository search field whitelist, so we would return no repository results. This commit adds it to the search, and additionally uses it to influence if case sensitivity should be used.

Fixes https://github.com/sourcegraph/sourcegraph/issues/7671