feat: warn on transitive deprecations#14422

wkrozowski wants to merge 8 commits into

leanprover:masterleanprover/lean4:masterfrom

wkrozowski:wojciech/transitiveDeprecationswkrozowski/lean4:wojciech/transitiveDeprecationsCopy head branch name to clipboard