net: WebResource.whenDone and WebResource.withJSONWhenDone that
streamline webresource usage for one line requests:
url.asWebResource().beAsync().whenDone(function(content, status) { show('got ' + content); });
codeeditor: bugfix for get textString when textString is empty
commandlineinterface: server shell process kill fix
ide: new interactive command: lively.net.loadJavaScriptFile
net/ide: DirectoryWatcher uses new webresource interface
ide: lively.ide.commands.keys.reset reinit keyboard shortcuts