[Merged by Bors] - chore: add module deprecations for removed files · leanprover-community/mathlib4@5802b55