Feature/search bar

This should finally fix #83.  It just adds a search box to the bottom of the page that reuses the same JS code used by the popup search dialog.