update to scala-3.2.0; enforce rebuild of Isabelle/ML + Isabelle/Scala;

avoid crash of JLine on Windows;

update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu-openjdk/release-notes/11.58-17.36-august-2022);

clarified default, following 8b695e59db3f;

tuned signature;

tuned;

clarified modules;

discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;

clarified options;

clarified options;

discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503), to make it work with native Windows ssh.exe;

proper time values in seconds;

clarified run_sftp: avoid platform_path via careful use of tmp_dir, to support both Windows and Cygwin ssh; discontinued run_scp: use run_sftp instead;

more robust, notably for macOS (see also ff92d6edff2c);

back to plain /tmp (despite 1df53737c59b): relevant for ssh on macOS, to avoid error "unix_listener: path too long for Unix domain socket";

tuned names;

proper order of platforms, to make it work uniformly on all plaform families;

more portable;

build both arm64-darwin and x86_64-darwin on Apple ARM hardware; tuned messages;

unused;

tuned message;

more items;

more robust: do not assume Bash syntax while testing for it;

obsolete;

merged

proper treatment of complex multi-line script;

more robust;

more robust: Bash.string operations require remote bash;