Minor fixes in XProcs for HTML and xrefs check. Removed xsl-formatter step in PDF XProc, now outputs FO for later processing. XSLT doc-resources now expects params for ProX blueprint URI, resource map template URI, tmp URI using xmldb and input XML URI. These are now added by generate-resmap.xq.