feat: add hint to transitive deprecated usage warning

[wkrozowski]

This PR adds a hint and a clickable code action to deprecated linter, when introducing a transitive deprecation, i.e. when a suggested replacement is itself deprecated.

[mathlib-lean-pr-testing]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase af46668adab413eed68e9921ad19996fc7312924 --onto dec70ee4980b571229f784a33d72b421ede3b1d5. You can force Mathlib CI using the force-mathlib-ci label. (2026-08-19 14:18:00)
• ✅ Mathlib branch lean-pr-testing-14841 has successfully built against this PR. (2026-08-25 17:18:06) View Log

[leanprover-bot]

Reference manual CI status:

• ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase af46668adab413eed68e9921ad19996fc7312924 --onto 3fc29d37a70f8fd904ebab848557c12383543008. You can force reference manual CI using the force-manual-ci label. (2026-08-19 14:18:01)
• ❗ Reference manual CI can not be attempted yet, as the nightly-testing-2026-08-22 tag does not exist there yet. We will retry when you push more commits. If you rebase your branch onto nightly-with-manual, reference manual CI should run now. You can force reference manual CI using the force-manual-ci label. (2026-08-25 15:46:31)