re-indent/reformat the XML files

by a XSL transformation, see `indent.xsl`