Add a basic search page

[sorawee]

This commit hacks the glossary page to be a search result page in the same time. Note that Scribble has a functionality to propagate query strings via links, but this would interact badly with this new feature, so we need to explicitly patch it.

[sorawee]

Screenshot:

[blerner]

I'd tweak this slightly to add:

Showing results only for: "app"
[x] Clear search filter

and clicking the "Clear" link would take you to the Glossary page, without any query terms...

[sorawee]

@blerner @shriram is this OK?

Note that the GIF freezes for about 10 seconds in the beginning, but there's nothing interesting there (just to show that the search box will link to the glossary page)

[sorawee]

Screetshot (just in case you can't view the GIF)

[shriram]

Yes, wow!