dates: relative dates do not contain ago anymore
date: updating ago code
codeeditor: use #setInputAllowed to change if text is read-only
ide: selectionnarrower mouse improvements
server: added server log viewer
(open it via the 'open log' button in the subserver viewer)
server: subserver that reports the server status and server log