new key bindings for auto-highlight-symbol-mode (great mode!)
removed globally enabled auto-highlight-symbol-mode (on demand
activation instead)