[clang] [analyzer] Retry UNDEF Z3 queries at most "crosscheck-with-z3-retries-on-timeout" times (PR #120239)

[Balazs Benics via cfe-commits]

steakhal wrote:

I moved your question to the RFC, as it is more of a higher level question. I'll come back to the minor remarks once we settle in the RFC.

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