on_disconnect, bindable timer.interval, ...

• introducing disconnect-handlers for ui and page
• timer.interval is now a bindable property
• removed support for the obsolete keypress event
• improved documentation
• fixed firefox update issues and other bugfixes