gateone.js:  Changed GateOne to be created using `function() {}` instead of an object literal `{}`.  This should allow things like GateOne.prefs to be instance-specific while everything else is shared amongst all instances.
gateone.js:  Added a 'go:restore_defaults' event to the end of GateOne.restoreDefaults() just before prefs are saved.  This should allow plugins to call their own default-restoring function before prefs are saved.
gateone.js:  GateOne.prefs.webWorker has been moved to terminal.js.  That setting is specific to terminals.
gateone.js:  GateOne.prefs.disableTermTransitions has been moved to terminal.js.  This setting won't make any sense soon anyway.
gateone.js:  GateOne.prefs.colors has been moved to terminal.js.
gateone.js:  Removed a whole bunch of stuff in GateOne.restoreDefaults() because they were not user-tunable settings.
terminal.js:  Removed the log<whatever> placeholders at the top of the script.  They are no longer necessary now that GateOne.Logging is part of GateOne (it used to be a plugin).
terminal.js:  Added a new anonymous function for restoring default settings that fires on the new 'go:restore_defaults' event.