UI/SvgTree.js: Add options.getNodeText()