leanprover/lean 5 closed

• warning from clang Feb 27
• more clang warning Feb 17
• clang warnings Feb 17
• clang warnings - missing override Feb 5
• chore(frontends/lean): clang warnings Feb 4