Move source of "theory pages" back to mathlib, and check for deadlinks

[jcommelin]

Pages like https://leanprover-community.github.io/theories/category_theory.html should have their source hosted in mathlib, so that it is easy to check for deadlinks during CI.