Bump org.xbib.gradle.plugin.jflex from 1.7.0 to 3.0.2

Bumps org.xbib.gradle.plugin.jflex from 1.7.0 to 3.0.2.

---
updated-dependencies:
- dependency-name: org.xbib.gradle.plugin.jflex
  dependency-type: direct:production
  update-type: version-update:semver-major
...

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

gradle/libs.versions.toml

@@ -34,7 +34,7 @@ z3-turnkey = { module = "tools.aqua:z3-turnkey", version = "4.13.0" }
 [plugins]
 dokka = { id = "org.jetbrains.dokka", version = "1.8.20" }
 git-version = { id = "com.palantir.git-version", version = "3.0.0" }
-jflex = { id = "org.xbib.gradle.plugin.jflex", version = "1.7.0" }
+jflex = { id = "org.xbib.gradle.plugin.jflex", version = "3.0.2" }
 kotlin-jvm = { id = "org.jetbrains.kotlin.jvm", version.ref = "kotlin" }
 kotlin-multiplatform = { id = "org.jetbrains.kotlin.multiplatform", version.ref = "kotlin" }
 kotlin-serialization = { id = "org.jetbrains.kotlin.plugin.serialization", version.ref = "kotlin" }