added ability to specify filename of the generated HTML file