app_terminal.py:  Changed the "terminal:set_title" event so that the terminal number gets passed as the first argument.
app_terminal.py:  Fixed a number of bugs related to restoring/setting terminal titles.  They should now be restored properly under all circumstances (resume, restart server w/dtach, etc).
terminal.js:  Added a global 't' shortcut for `GateOne.Terminal`.  Still need to go through the code and change it to use it (to make it less verbose) but I already took care of a few things.  Mostly a cosmetic thing so low priority.
terminal.js:  Lots of fixes related to displaying terminal info when switching terminals.
terminal.js:  Lots of fixes related to popup terminals.
terminal.js:  Made many improvements to terminal sizing/alignment when sessions are restored.
Terminal Themes:  Numerous tweaks to terminal info popups.
terminal.js:  Added a new function: `GateOne.Terminal.setTitle()`.  It knows the difference between a regular terminal and a popup terminal and will set the title appropriately.
terminal.js:  Added a message that gets displayed to let the user know their terminals are in the process of being restored.
gateone.js:  Added a 'noLog' argument to `GateOne.Visual.displayMessage()` for those messages that shouldn't be logged.
Themes:  Improved dialog title stuff.