prettyxml: A quick and dirty XML pretty printer