treedrawing.js: select error node in nextValidationError
annotald/data/scripts/treedrawing.utils.js: change API of scrollToNext slightly
treedrawing.py: fix typo
user manual: small tweaks
news.txt: small tweak
treedrawing.js: properly determine value of incremental search checkbox
Merge branch 'aaron-dev'

Conflicts:
	NEWS.rst