terminal.js:  A bit of code orgnaization (moved __new__() to the top and adjusted comments here and there).
Bookmarks plugin:  `GateOne.Bookmarks.openBookmark()` now works from the New Workspace Workspace.  It also works faster than it did before (precisely 250 milliseconds faster!).
gateone.js:  Removed the workspace number from the title when a New Workspace Workspace is opened (the user doesn't care what number it is).