Update chuck_doc_search.py

made case insensitive, perhaps we can also deal with things that are part of chuck but not in the on-line docs.