Isabelle/878a67422fb4 updates scala-3.3.4 LTS to scala-3.3.5 LTS. This is shortly after Isabelle2025-RC1: I did not risk a last-minute change of plans, because the Scala guys often produce rather weak releases. Hopefully the new LTS scheme improves on that culture. Makarius