z3: include fixes for the C++ build

the updated Z3 submodule in the referenced and updated z3.rs repository
now includes changes from the following two Z3 pull requests:
* Z3Prover/z3#7235
* Z3Prover/z3#7313

these fixes are necessary because newer compilers reject the old code
now; this includes the compiler shipped with the most recent release of
MacOS/XCode

Author: Philipp15b

Cargo.lock

@@ -86,8 +86,8 @@ harness = false
 opt-level = 3
 
 [patch.crates-io]
-z3 = { git = 'https://github.com/Philipp15b/z3.rs.git', rev = '473cb83d85cbce92b837a1667693ca9ca38c046c' }
-z3-sys = { git = 'https://github.com/Philipp15b/z3.rs.git', rev = '473cb83d85cbce92b837a1667693ca9ca38c046c' }
+z3 = { git = 'https://github.com/Philipp15b/z3.rs.git', rev = '53d9de51c575ae7b83dccc38762f74a725ad812d' }
+z3-sys = { git = 'https://github.com/Philipp15b/z3.rs.git', rev = '53d9de51c575ae7b83dccc38762f74a725ad812d' }
 # to work on z3.rs locally, clone it into the main directory and use the following directive instead:
 
 # see https://github.com/heim-rs/darwin-libproc/pull/3#issuecomment-1645444056