CI: check for dead links#792

Vierkantor wants to merge 4 commits into

lean4leanprover-community/leanprover-community.github.io:lean4from

dead-links-cileanprover-community/leanprover-community.github.io:dead-links-ciCopy head branch name to clipboard