Make HTML generator scripts Python 3 compatible for real.

Fix for python 3 encoding