htmlgen.py: create name of output files in os independent manner

works now on Windows
Merge pull request #1 from wallberg-umd/master

htmlgen.py: create name of output files in os independent manner