terminal.js:  Fixed a bug in GateOne.Terminal.highlight() where if you selected special characters they would end up becoming part of the regular expressin that was used to replace text when highlighting.  Special characters are now escaped before the regex is created.