misc: increase version, fix deprecation

Author: ice1000

Diff for: cli-impl/src/main/java/org/aya/cli/interactive/ReplCompiler.java

@@ -49,7 +49,6 @@
 import java.io.IOException;
 import java.nio.file.Files;
 import java.nio.file.Path;
-import java.util.function.Function;
 
 public class ReplCompiler {
   public final @NotNull CountingReporter reporter;

Diff for: gradle/libs.versions.toml

@@ -2,7 +2,7 @@
 # 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.30.0-SNAPSHOT"
+project = "0.31.0"
 
 # https://openjdk.org/
 java = "21"

Diff for: ide-lsp/build.gradle.kts

@@ -127,7 +127,7 @@ supportedPlatforms.forEach { platform ->
       include("bin/aya")
       include("bin/aya-lsp")
       include("${Constants.jreDirName}/bin/**")
-      fileMode = "755".toInt(8)
+      filePermissions { unix("755") }
     }
     doLast {
       val bytes = MessageDigest.getInstance("SHA-256")