treedrawing.py, settings.py, user.adoc: server mode

closes #24
treedrawing.js: disallow save while editing a node label

fix the old code to do this, and also add a last-ditch safety

fixes #32
treedrawing.js: allow using the mouse to select in edit boxes

fixes #33