Fix web site encoding problems The encoding.html page was generated incorectly, revamp the input xml.html and convert the full XSLT chain to use and serve it as UTF-8 * doc/*: fix xml.html, update all stylesheets and regenerate