added output of mod folder names to mod headers

updated "minetest_mod_html_generator.py" so that each mod header
includes the folder name of the mod in addition to the normal name of
the mod