[z3] Update to v4.10.2 (#25954)

* [z3] Update to v4.10.2

* Update version

ports/z3/portfile.cmake

@@ -5,8 +5,8 @@ vcpkg_add_to_path("${PYTHON3_DIR}")
 vcpkg_from_github(
   OUT_SOURCE_PATH SOURCE_PATH
   REPO Z3Prover/z3
-  REF z3-4.9.1
-  SHA512 0c44e10d039c3bf16591a7b94e3a3209bc334635106ac7ae4afda95541d13d4fc39214646662683c26b4874846e0d83813215e189ce5422d13f8ce7c2ac4db51
+  REF z3-4.10.2
+  SHA512 d0e54036d403d124a7bbf4cf8de9fd9159bab5151f875b546474563811dfb259bc46650df950802031a180375745fb589acbc79d0065944f0631df378dd6d0c3
   HEAD_REF master
   PATCHES
       fix-install-path.patch

ports/z3/remove-flag-overrides.patch

@@ -7,6 +7,6 @@ index 477410ba8..fcca03917 100644
  cmake_minimum_required(VERSION 3.4)
  
 -set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
- project(Z3 VERSION 4.9.1.0 LANGUAGES CXX)
+ project(Z3 VERSION 4.10.2.0 LANGUAGES CXX)
  
  ################################################################################

ports/z3/vcpkg.json

@@ -1,6 +1,6 @@
 {
   "name": "z3",
-  "version": "4.9.1",
+  "version": "4.10.2",
   "description": "Z3 is a theorem prover from Microsoft Research",
   "homepage": "https://github.com/Z3Prover/z3",
   "license": "MIT",

versions/baseline.json

@@ -7813,7 +7813,7 @@
       "port-version": 0
     },
     "z3": {
-      "baseline": "4.9.1",
+      "baseline": "4.10.2",
       "port-version": 0
     },
     "z85": {

versions/z-/z3.json

@@ -1,5 +1,10 @@
 {
   "versions": [
+    {
+      "git-tree": "aa0794e55ef223e835ae4dd228e3986d83be4843",
+      "version": "4.10.2",
+      "port-version": 0
+    },
     {
       "git-tree": "c934af0db69ef3b1bacc4bf5a72b5d901aaf1136",
       "version": "4.9.1",