terminal.js:  Fixed a bug where terminal titles were not getting set correctly.
terminal.js:  Improved the look of the terminal toolbar icon.
gateone.js:  The process that calls GateOne.Utils.runPostInit() as part of the JavaScript file synchronization will now trigger a "go:js_loaded" event to signify that literally every JS file is done loading.  This is to be distinguished from "go:initialized" which merely indicates that the GateOne module itself has completed loading.
gateone.js:  Moved the bell sound stuff to terminal.js.
gateone.js:  Moved the terminal preferences to terminal.js.
gateone.js:  Added a new function to GateOne.Utils:  insertAfter().  Does the opposite of JavaScript's built-in insertBefore().
gateone.js:  Got rid of the code that detects the width of the scrollbar and instead switched to some fancy CSS3 styling to make it all work without that "wait until the page settles down" delay.
gateone.js:  New preferences panel!  Also, a new function to make it easier for applications/plugins to extend the preferences panel with their own stuff:  GateOne.User.preference().
Terminal Application:  Changed how terminals are loaded in order to facilitate more reliable/faster loading of plugins.  The original 500ms delay between when the 'terminal:terminals' WebSocket action is received and when terminals get reattached isn't always long enough.
Terminal Application:  Added a function, ApplicationWebSocket.enumerate_colors().  It gets attached to the 'terminal:enumerate_colors' WebSocket action and returns the list of text color schemes to the client.
Themes:  Lots of tweaks for the new preferences panel.  Especially to the dark-black and solarized themes.
terminal.py:  Fixed a bug where tabstops were not being set correctly in a "reset the terminal" situation (an improper call to .sort()).