build: add in libs folder the gears jars.

Publish locally the gears jars and their deps takes too long (especially in CI) and does not work with JDK 21 :(.

.gitmodules

@@ -1,3 +1,3 @@
 [submodule "lib/gears"]
-	path = lib/gears
+	path = libs/gears
 	url = https://github.com/lampepfl/gears.git

build.gradle.kts

@@ -1,3 +1,5 @@
+import kotlin.io.path.Path
+
 @Suppress("DSL_SCOPE_VIOLATION")
 plugins {
     scala
@@ -9,14 +11,24 @@ plugins {
 }
 
 repositories {
-    mavenLocal() // used for gears dependency
     mavenCentral()
 }
 
 dependencies {
+    val localLibraries = Path("libs")
     implementation(libs.kotlin.stdlib)
     implementation(libs.scala.stdlib)
-    implementation(libs.gears) // from maven local repository
+    // Gears is a wip strawman library for async programming not already available on Maven Central...
+    val gears = "gears_3-0.1.0-SNAPSHOT"
+    implementation(
+        files(
+            listOf(
+                "$gears.jar",
+                "$gears-javadoc.jar",
+                "$gears-sources.jar"
+            ).map { localLibraries.resolve(it) }
+        )
+    )
     testRuntimeOnly(libs.flexmark) // needed to make it works scalatest
     testImplementation(libs.scalatest)
     testImplementation(libs.bundles.kotlin.testing)