Merge pull request #220 from jeremydaw/trial

apropos_in and find_in convenience commands for searching the theorem database