Automated link checking (and other checks)

We should check properties that we think the documentation ought to have.

Definitely, the internal cross-references should be checked. There are possibly other properties we want to check.

Possibly at some point we will want to lint against links from the Specification to Proposals (see #237), or at least lint against new ones.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information