gateone.js:  Modified GateOne.Utils.getRowsAndColumns() slightly to make it more accurate.
gateone.js:  Added a new WebSocket action: `go:user_list` which calls GateOne.User.userListAction().  It just stores the list of connected users in GateOne.User.userList and triggers the `go:user_list` event with the userList as the only argument.
gateone.js:  Added `GateOne.User.listUsers()` which sends the `go:list_users` WebSocket action to the server which results in the aforementioned WebSocket action being called.
app_terminal.py:  Added TerminalApplication.get_sharing_permissions() which is associated with the `terminal:get_sharing_permissions` WebSocket action.  It sends the `terminal:sharing_permissions` WebSocket action to the client the same way that TerminalApplication.set_sharing_permissions() does.  It also triggers the `terminal:get_sharing_permissions` event with the terminal number as the only argument.
terminal.js:  Lots of changes to how terminal dimensions are detected to make such calculations more reliable in certain edge cases (e.g. disabled scrollback buffer, embedded stuff, etc).
terminal.js:  Changed how/when GateOne.Terminal.alignTerminal() is called in many places.  It is now de-bounced everywhere and you shouldn't have to wait so long for it to do its thing anymore.
terminal.js:  Added a new WebSocket action:  `terminal:get_sharing_permissions` which corresponds to GateOne.Terminal.sharedTerminalsAction().
terminal.js:  Added/updates lots of functions related to terminal sharing.  Still lots to do though (and lots of testing--terminal sharing has an unstable API for now while I work things out).  Terminal sharing is a sophisticated work-in-progress so please bear with me while I hammer out the code in not-quite-there-yet chunks.
terminal.js:  Modified GateOne.Terminal.onResizeEvent() slightly:  If the scrollback buffer is disabled (set to 0) it won't bother setting the height of the <pre> element inside terminals.  This should ensure that--when scrollback is disabled--all terminals are bottom-aligned instead of the mishmash of bottom/top-aligned situation that it was before this change.
Themes:  Minor tweaks to the global themes to make input elements and forms look better.