Bump tools.aqua:z3-turnkey from 4.13.0.1 to 4.13.4

Bumps [tools.aqua:z3-turnkey](https://github.com/tudo-aqua/z3-turnkey) from 4.13.0.1 to 4.13.4.
- [Release notes](https://github.com/tudo-aqua/z3-turnkey/releases)
- [Commits](tudo-aqua/z3-turnkey@4.13.0.1...4.13.4)

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

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

gradle/libs.versions.toml

@@ -43,4 +43,4 @@ kotlin-serialization-json = { group = "org.jetbrains.kotlinx", name = "kotlinx-s
 petitparser-core = { group = "com.github.petitparser", name = "petitparser-core", version = "2.4.0" }
 xz = { group = "org.tukaani", name = "xz", version = "1.10" }
 zstd = { group = "com.github.luben", name = "zstd-jni", version = "1.5.6-8" }
-z3-turnkey = { group = "tools.aqua", name = "z3-turnkey", version = "4.13.0.1" }
+z3-turnkey = { group = "tools.aqua", name = "z3-turnkey", version = "4.13.4" }