updated html generator to added html file header

updated "minetest_mod_html_generator.py" so that it outputs "<!DOCTYPE
html>" at the top of the html file