Refined search functionality.

Searching now pulls up a numbered list of results, from which the user
can pick a term by its number and retrieve its definition.