Make search case-insensitive

Make searches case-insensitive. To avoid a performance hit, a suggestions is to do this by transforming search inputs to capital letters (e.g. everything after c.) before submitting to the search engine.