tarminal.js:  Corrected some bugs in the new highlight() function.  Also added GateOne.Terminal.unHighlight() to undo the effects of highlight().
terminal_input.js:  Added an awesome new feature:  When you highlight a word (longer than 3 chars) in the terminal it will now highlight that word everywhere else in the terminal.
terminal_input.js:  Changed the way unHighlight() gets called via events (uses once() instead of on() now).