Implement the intelligence window.
Make sure the Intelligence Window is completely inside viewport.
Highlighting now uses background color.
Fix a bug which unhighlights more elements than needed.
Add shortcut keys to highlight/unhighlight symbols.