Find enhancements and better Tab/Shift-Tab handling

* Use GUI for <Ctrl-F> when possible
* New mapping <Ctrl-Shift-/> for GUI-less find
* Shift-Tab decreases indentation with selection
* Tab with selection increases indentation
* Tab/Shit-Tab increases/decreases current line indentation in normal mode
Fix highlight of special keys and clean up highlight of line numbers