write html file with utf8 encoding to avoid generating wrong encoding.
We have the problem when building in Jenkins, the resulting html toc file is not encoded correctly. This is due to Java that uses some environment variables depending on the OS.
