BUG: tvtk_doc barfs on searching for text.

The tvtk_doc would barf when a user enters a search string.
Merge pull request #99 from prabhuramachandran/fix_tvtk_doc

Merged.