Updated various dependencies

Cleaned up CI workflows

.circleci/config.yml

@@ -9,6 +9,14 @@ defaults: &defaults
 defaults_bld: &defaults_bld
   steps:
     - checkout
+    - run:
+        name: Install Kotlin via SDKMAN!
+        command: |
+          curl -s "https://get.sdkman.io" | bash
+          echo sdkman_auto_answer=true > $HOME/.sdkman/etc/config
+          echo sdkman_auto_selfupdate=true >> $HOME/.sdkman/etc/config
+          source "$HOME/.sdkman/bin/sdkman-init.sh"
+          sdk install kotlin 2.0.0
     - run:
         name: Download the bld dependencies
         command: ./bld download