#556 export to html shoud set extension

[Anonymous]

should automatically set the file extension to .html but it
doesn't. So when I export file test.cpp to html with out
typing test.cpp.html in the file name field it exports to
test.cpp even though the file type says *.html