api command tracker for editor. Also, a new logging mechanism for the editor

[a-gerhard]

The editor should show the user which API commands are executed when they do something. This should make scripting easier.

Basically, this means:

• create a subclass of the ServerProxy which tracks used commands
• wrap_json and wrap_rpc hand over an object of this type instead of another one.
• Bonus: On exceptions, this allows to show the exact API call which through the error
• wrap_json has to include the list of all used API commands in the return values
• the editor has to catch these and then log them somewhere. Idea for this: a non-modal window
• use this window to store other logging information, and get rid of the logs in the javascript logs. basically, try to put all logging functions into this editor-logger.

[a-gerhard]

I will specify this better.