overlay.js: fix error, wrong argument name.
Overlay.js: fixed tag box.
overlay.js: fix error in checking for tracing modes when clicked.
overlay.js: when creating a new node, append to the parent and recolor the latter.
Object Tree: query list by POST, not GET (which can get cached).