re-indent the XML files

by a XSL transformation, see indent.xsl