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