Add a basic search function

[toru]

If possible, I'd like to keep everything within GitHub Pages. One option is to host an inverted index as a static asset and interact via JavaScript. This index file could be stored in window.localStorage.