Address potential namespacing issue with the so called html5shiv.
Default hyperframeset elements are now <hf-frame>, <hf-body>.
This is reconfigurable by editing a few vars in the script:
	hfNamespace, hfTagNamespacing, hfAttrNamespacing

TODO: make this reconfigurable from config.js or even the frameset document.
Setting the `no_frameset` sessionOption *explicitly* to `false` prevents it from being set to `true` when a frameset startup error or timeout occurs.