_build-status.sh: Faster clone with local repos

Use much faster clones if we have a local half-way
current clone already, thanks to "git clone --reference".
Update build status
Summarize the two remaining build failures
doc/manual: Switch to XHTML like the rest of the site