Add search

[bluddy]

We may be able to add a search bar on github.io with this.

[bluddy]

Issue #2 has a link to a jekyll theme that I think also includes search capabilities.

[bluddy]

This seems like the simplest way to add search. It requires using lunr, a JS library, creating a json file with jekyll (easy), and creating a dynamic page for the results. The link suggests backbone, but we can probably get away with doing it manually.

[bluddy]

This is now accomplished. Closing.