[z3] Update to 4.13.0 (#37259)

- [x] Changes comply with the [maintainer
guide](https://github.com/microsoft/vcpkg-docs/blob/main/vcpkg/contributing/maintainer-guide.md).
- [x] SHA512s are updated for each updated download.
- [x] The "supports" clause reflects platforms that may be fixed by this
new version.
- [x] Any fixed [CI
baseline](https://github.com/microsoft/vcpkg/blob/master/scripts/ci.baseline.txt)
entries are removed from that file.
- [x] Any patches that are no longer applied are deleted from the port's
directory.
- [x] The version database is fixed by rerunning `./vcpkg x-add-version
--all` and committing the result.
- [x] Only one version is added to each modified port's versions file.

ports/z3/portfile.cmake

@@ -6,7 +6,7 @@ vcpkg_from_github(
   OUT_SOURCE_PATH SOURCE_PATH
   REPO Z3Prover/z3
   REF z3-${VERSION}
-  SHA512 10883877d20adbd229ad4bf65a9b50660d93d85514f933865f06920efd697f51ce34e502fbe451d4c1b2251f13d597050b8277036d4011d9c0f196111d681f8f
+  SHA512 8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd
   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.16)
 
 -set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
- project(Z3 VERSION 4.12.6.0 LANGUAGES CXX)
+ project(Z3 VERSION 4.13.0.0 LANGUAGES CXX)
 
  ################################################################################

ports/z3/vcpkg.json

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

versions/baseline.json

@@ -9521,7 +9521,7 @@
       "port-version": 0
     },
     "z3": {
-      "baseline": "4.12.6",
+      "baseline": "4.13.0",
       "port-version": 0
     },
     "z4kn4fein-semver": {

versions/z-/z3.json

@@ -1,5 +1,10 @@
 {
   "versions": [
+    {
+      "git-tree": "6fa6c9e93ad1fe6f090260acfa7d42369d83ee0a",
+      "version": "4.13.0",
+      "port-version": 0
+    },
     {
       "git-tree": "03f1783abbbb6d024a084bfd6f448ec5b02c06b6",
       "version": "4.12.6",