Priority errors added for deprecated USFM markers; better handling of ior marker in HTML5 exports; fixed hrefs for xrefs in HTML5 export