gateone.js:  Fixed a couple of exceptions that could show up in the JS console in (very rare) circumstances and also cleaned up the code a bit.
gateone.js:  In the event that the apps list gets sent to the client very late (e.g. overloaded/slow server) the new Workspace Workspace (with the apps chooser) will be reloaded.
terminal.py:  A few very minor tweaks to `Terminal._spanify_screen()` to enhance code readability.