Updates to the HTML doc presentation's search interface:
- Add checkbox to toggle whether partial match results
will be displayed or not
- Replace obscure water droplet icon with checkbox and
label to make it obvious that clicking toggles the
highlighting of search terms in the current page
- Report results by type: phrase matches, exact term
matches, and partial matches, using a heading to
indicate each group.