Bump Kotlin 2.0-2.2 to 2.3 so Kotlin modules can reach Java 25

[timtebeek]

What

• When migrating to Java 25, modules that compile Kotlin against kotlin-stdlib older than 2.3 are capped at Java 24, because only Kotlin 2.3+ can target Java 25 bytecode (Explain why Kotlin modules are capped at Java 24 during Java 25 migration #1137 added an explanatory comment for those capped modules).

This adds UpgradeKotlinForJava25, which bumps modules that are already on Kotlin 2.0, 2.1, or 2.2 up to the latest Kotlin 2.3 before the Java-version step runs, so those modules reach Java 25 instead of stalling at 24.

Why this is safe

The bump is scoped to the [2.0,2.3) band only:

• Kotlin 2.0–2.2 → 2.3: same major version, already on the K2 compiler (default since 2.0). Minor bumps are source-compatible (with normal deprecation cycles), so this is safe to apply automatically.
• Kotlin 1.x: left untouched. Crossing the K2 compiler default introduced in 2.0 is a real source-breaking change, so these modules stay capped at Java 24 (and keep the Explain why Kotlin modules are capped at Java 24 during Java 25 migration #1137 comment).

The existing UpgradeBuildToJava24 cap ([0,2.3)) is kept as-is and acts as a safety net: any module whose Kotlin version could not be bumped stays at Java 24 rather than being wrongly raised to 25.

How

UpgradeKotlinForJava25 is wired into UpgradeToJava25 ahead of the cap. Behind the same Kotlin preconditions (ModuleHasKotlinSource + ModuleHasDependency kotlin-stdlib* [2.0,2.3)) it:

• upgrades all org.jetbrains.kotlin dependencies to 2.3.x (covers kotlin-stdlib, kotlin-reflect, kotlin-test, … and the kotlin.version property),
• upgrades the kotlin-maven-plugin, and
• upgrades the Gradle org.jetbrains.kotlin.* plugins.

The bump lands in the first cycle; the Java 25 upgrade applies in the next once the module is on 2.3.

Tests

UpgradeToJava25Test:

• kotlin2xUpgradedToLatest2_3AndJava25 — a 2.2.0 module is bumped to 2.3.x and reaches Java 25.
• kotlin1xCapsJavaVersionAt24WithoutBumpingKotlin — a 1.9.24 module is left on Kotlin 1.x and capped at Java 24.

recipes.csv regenerated via recipeCsvGenerate.