Bump org.junit.jupiter:junit-jupiter-params in /utbot-framework

Bumps [org.junit.jupiter:junit-jupiter-params](https://github.com/junit-team/junit-framework) from 5.8.1 to 5.13.4.
- [Release notes](https://github.com/junit-team/junit-framework/releases)
- [Commits](junit-team/junit-framework@r5.8.1...r5.13.4)

---
updated-dependencies:
- dependency-name: org.junit.jupiter:junit-jupiter-params
  dependency-version: 5.13.4
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

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

Author: dependabot[bot]

utbot-framework/build.gradle

@@ -39,8 +39,8 @@ dependencies {
 
     // To use JUnit4, comment out JUnit5 and uncomment JUnit4 dependencies here. Please also check "test" section
     //implementation group: 'junit', name: 'junit', version: '4.13.1'
-    implementation group: 'org.junit.jupiter', name: 'junit-jupiter-params', version: '5.8.1'
-    implementation group: 'org.junit.jupiter', name: 'junit-jupiter-engine', version: '5.8.1'
+    implementation group: 'org.junit.jupiter', name: 'junit-jupiter-params', version: '5.13.4'
+    implementation group: 'org.junit.jupiter', name: 'junit-jupiter-engine', version: '5.13.4'
 
     // TODO sbft-usvm-merge: UtBot engine expects `com.github.UnitTestBot.ksmt` here
     implementation group: 'io.ksmt', name: 'ksmt-core', version: ksmtVersion