Add search ui

[davelab6]

Just use Google search site: for now

[davelab6]

@eliheuer I wonder if you can see how to implement this as described? :)

[eliheuer]

Seems possible, I'll try.

I grep the repo all the time, so I know this would be useful.