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