clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3;