fix: extract TOC in UTF-8

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.

assigned to @Hugues.Cazeaux

changed title from toc extractor to fix: extract TOC in UTF-8

merged