Contextual search boxes for public installations

[GoogleCodeExporter]

For publicly-available Gitiles sites, it would be cool to have a Google search 
box on every page, e.g. posting to:
https://www.google.com/search?q=XYZ&sitesearch=https://android.googlesource.com/
tools/repo/+/master/subcmds/

The URL should be configurable, including no URL to mean no search box, for 
sites that administrators know aren't indexed by Google (e.g. on an intranet).

It seems unlikely that we would implement full-text search within Gitiles, but 
this is a quick hack that would get some of the way there.

Original issue reported on code.google.com by dborowitz@google.com on 12 Nov 2012 at 12:12

[GoogleCodeExporter]

Began a patch on this: https://gerrit-review.googlesource.com/#/c/39315/

Still needs a bit of work.

Original comment by innocent...@gmail.com on 13 Nov 2012 at 12:28