UI tweaks

UI enhancements. Mostly taken from https://github.com/amitmurthy/JDock/pull/5

Pending:

[ ] Fix issue where iframes throw error the first time they are loaded
[ ] Title shows `$$SESSNAME`
[ ] On firefox, console does not allow `-` or `_` character. ??