Improve release-cli debuggability, drop Windows launcher (#970)

Author: jupblb

.github/workflows/release-cli.yaml

@@ -40,7 +40,7 @@ jobs:
           ARTIFACT="org.scip-code:scip-java:${VERSION}"
 
           for attempt in {1..10}; do
-            if cs resolve "$ARTIFACT" >/dev/null 2>&1; then
+            if cs resolve "$ARTIFACT" >/dev/null; then
               break
             fi
 
@@ -49,12 +49,12 @@ jobs:
               exit 1
             fi
 
+            echo "Attempt $attempt: $ARTIFACT is not resolvable yet, retrying in 30 seconds" >&2
             sleep 30
           done
 
           cs bootstrap \
             --standalone \
-            --bat=true \
             -o scip-java \
             "$ARTIFACT" \
             --main org.scip_code.scip_java.ScipJava
@@ -63,8 +63,7 @@ jobs:
           ./scip-java --help >/dev/null
 
           mv scip-java "scip-java-${TAG}"
-          mv scip-java.bat "scip-java-${TAG}.bat"
-          shasum -a 256 "scip-java-${TAG}" "scip-java-${TAG}.bat" > "scip-java-${TAG}.sha256"
+          shasum -a 256 "scip-java-${TAG}" > "scip-java-${TAG}.sha256"
 
       - name: Check for GitHub release
         id: release
@@ -94,7 +93,6 @@ jobs:
 
           gh release upload "$TAG" \
             "scip-java-${TAG}" \
-            "scip-java-${TAG}.bat" \
             "scip-java-${TAG}.sha256" \
             --repo "scip-code/scip-java" \
             --clobber