search-notes.py: Use cPickle when available
search-notes.py: Use logging module, add lots of logging (and timing)
Improve title of quick-fix windows with search results
Improve highlighting in quick-fix windows
Improve verbose output & timing for keyword searches