(#966): Fix broken links in devel-docs

Add a job in CI to check the links in the generated devel-docs, with Sphinx's linkcheck builder, and fix the current links.