prepare for next version
annotald-aux, user.adoc: add command to get js and py settings

fixes #25
util.py: lint
treedrawing.py: fix typo in comment
js: don’t allow moving empty nodes
user manual: document empty node movt restriction
js: fix incremental search
utils js: fiddle with scrolling to new results
Bug.psd: move from tab- to space-based indent

only many months later...
js: delete index from antecedent when deleting its only trace

fixes #26
py: reformat trees on exit, not every save

util.py: change calling convention of writeTreesToFile

annotald-aux: add external reindent command
HACKING: add file with notes for maintainer
document the reindent and cat-settings-* commands
news for release 1.1.3
Release 1.1.3