version: release 0.30 (#1025)

Yeah

gradle/libs.versions.toml

@@ -2,20 +2,20 @@
 # The Version of this project, aka, The Aya Theorem Prover.
 # Remove "-SNAPSHOT" suffix and run gradle publish to release a new version.
 # After that, increase the version number and add "-SNAPSHOT" suffix back for next cycle.
-project = "0.29.4"
+project = "0.30.0-SNAPSHOT"
 
 # https://openjdk.org/
 java = "21"
 
 # https://github.com/JetBrains/java-annotations
-annotations = "24.0.1"
+annotations = "24.1.0"
 kala = "0.69.0"
 picocli = "4.7.5"
 build-util = "0.0.21"
 # https://github.com/graalvm/native-build-tools
 graal-tools = "0.9.28"
 # https://github.com/jline/jline3
-jline = "3.24.1"
+jline = "3.25.0"
 # https://github.com/commonmark/commonmark-java
 commonmark = "0.21.1"
 jimgui = "v0.21.0"