use UTF-8 encoding for the HTML generated by the TOC XSL

This should work in all scenarios as the XSL specifies UTF-8 output
explicitly and it should fix #1544