[clang] [llvm] [NFC][analyzer] Remove Z3-as-constraint-manager hacks from lit test code (PR #145731)

[Donát Nagy via llvm-commits]

NagyDonat wrote:

@mgorny I was unable to reproduce the failure that you observed -- based on the error message that you posted, you're in a situation where Z3_INCLUDE_DIR is not set by the clang build system _but_ these two tests which are marked with `REQUIRES: z3` are still executed somehow. (Perhaps you have Z3 installed in a standard system include directory?)

Nevertheless, my fix https://github.com/llvm/llvm-project/pull/146042 should work even in this case.

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