HTML output improvements: iframes, deadcode, global child nodes
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/util/html_template/js_template.ml