added HTML5 doctype to output

unfortunately xml.etree.ElementTree provides no nice way of doing this.
If there's a better way I'd like to see it :smile_cat:.