feat: add @[trusted_axiom] attribute and linter.untrustedAxioms linter#14407

Kha wants to merge 4 commits into

masterleanprover/lean4:masterfrom

untrusted-axioms-linterleanprover/lean4:untrusted-axioms-linterCopy head branch name to clipboard