Improve release-cli debuggability, drop Windows launcher#970

jupblb merged 2 commits into

mainscip-code/scip-java:mainfrom

release-cli-debug-outputscip-code/scip-java:release-cli-debug-outputCopy head branch name to clipboard