Code/repo search (#2582)

Indexed search of repository contents (for default branch only)

options/locale/locale_en-US.ini

@@ -848,6 +848,10 @@ activity.title.releases_n = %d Releases
 activity.title.releases_published_by = %s published by %s
 activity.published_release_label = Published
 
+search = Search
+search.search_repo = Search repository
+search.results = Search results for "%s" in <a href="%s">%s</a>
+
 settings = Settings
 settings.desc = Settings is where you can manage the settings for the repository
 settings.options = Options