An XSLT minifier