[clang] [clang][analyzer] Introduce MutexModeling checker (PR #111381)

[Donát Nagy via cfe-commits]

https://github.com/NagyDonat commented:

Nice well-designed code; I added several remarks, but they are all minor.

https://github.com/llvm/llvm-project/pull/111381