Keyboard Search and Improved Highlighting

New release brings keyboard based search i.e. matching of history entries by occurrence of words in arbitrary order. In addition highlighting of matching segments in history entries has been improved.