apropos_in, find_in to search for thms among previous results

these functions search for term patterns or name substrings among
only the list of values returned previously by listDB, apropos, find, thy
docs for find_in, apropos_in
Merge pull request #220 from jeremydaw/trial

apropos_in and find_in convenience commands for searching the theorem database