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