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

[Donát Nagy via cfe-commits]

https://github.com/NagyDonat commented:

I'm really grateful that you implemented my request about defining this option as a positive value; especially considering that it ended up being more work than what I expected. (I guessed that we must already had precedent(s) for positive (or at least otherwise constrained) options; while I see that you're building support for this within this commit.)

The change looks good to me, except for an off-by-one error that I mark with an inline comment.

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