Bump tools.aqua:z3-turnkey from 4.12.2.1 to 4.13.0

Bumps [tools.aqua:z3-turnkey](https://github.com/tudo-aqua/z3-turnkey) from 4.12.2.1 to 4.13.0.
- [Commits](tudo-aqua/z3-turnkey@4.12.2.1...4.13.0)

---
updated-dependencies:
- dependency-name: tools.aqua:z3-turnkey
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

gradle/libs.versions.toml

@@ -34,7 +34,7 @@ versions = { id = "com.github.ben-manes.versions", version = "0.50.0" }
 [libraries]
 junit-bom = { group = "org.junit", name = "junit-bom", version = "5.10.1" }
 junit-jupiter = { group = "org.junit.jupiter", name = "junit-jupiter" } # version from BOM
-z3-turnkey = { group = "tools.aqua", name = "z3-turnkey", version = "4.12.2.1" }
+z3-turnkey = { group = "tools.aqua", name = "z3-turnkey", version = "4.13.0" }
 petitparser-core = { group = "com.github.petitparser", name = "petitparser-core", version = "2.4.0" }
 kotlin-coroutines = { group = "org.jetbrains.kotlinx", name = "kotlinx-coroutines-core", version = "1.8.0-RC" }