Don't emit the bogus HTML5 DTD for HTML5 files -- emit "<!DOCTYPE HTML>" instead
http://bugs.activestate.com/show_bug.cgi?id=99783
r=marky
sr=toddw
rn=

(integrated from komodo (trunk) change 82348 by ericp)

git-svn-id: http://svn.openkomodo.com/repos/openkomodo/trunk@13778 b87d16e7-d29f-4ee1-b5ec-817d645d335f