Check correctness of *.xml, *.docbook, and *.html during precheck

Merged Evan Hunt requested to merge 378-run-xmllint-on-xml-and-docbook-in-precheck-v9_12 into v9_12

Merge request reports