[clang] [clang][dataflow] Factor out built-in boolean model into an explicit module. (PR #82950)

[Yitzhak Mandelbaum via cfe-commits]

ymand wrote:

Terminator cleanup split out into https://github.com/llvm/llvm-project/pull/84499

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