terminal.js:  Fixed a bug in GateOne.Terminal.newTerminal() where you'd get an exception trying to open a new terminal without passing any settings at all (caused bookmarks to not work properly).