removed js-xmltools, rewritten xmlprettyprint