check-doc-links: New script for checking links aren't broken

Currently there are broken links. (We'll leave this as allow-fail to avoid it being too much of a blocker, anyway.)