Replace snapshot printer with scip CLI

Render snapshots via `scip snapshot` (pinned scip-code/scip flake input, added to the dev shell) instead of the in-repo ScipPrinters; regenerate Java and Kotlin goldens.

Author: jupblb

flake.lock

@@ -6,18 +6,23 @@
     nixpkgs = {
       url = "github:NixOS/nixpkgs/nixos-25.11";
     };
+    scip = {
+      url = "github:scip-code/scip";
+    };
   };
 
   outputs =
     {
       self,
       flake-utils,
       nixpkgs,
+      scip,
     }:
     flake-utils.lib.eachDefaultSystem (
       system:
       let
         pkgs = import nixpkgs { inherit system; };
+        scipCli = scip.packages.${system}.default;
         mkDevShell =
           jdk:
           pkgs.mkShellNoCC {
@@ -32,6 +37,7 @@
               nodejs
               (sbt.override ({ jre = jdk; }))
               scalafmt
+              scipCli
               yarn
             ];
           };