Update to scala-3.3.5

[Makarius]

On 03/02/2025 20:59, Makarius wrote:
> 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.

No, it didn't. See now:

changeset:   82136:a43e39c52f26
user:        wenzelm
date:        Wed Feb 12 00:53:15 2025 +0100
files:       Admin/components/main src/Pure/ROOT.ML src/Pure/ROOT.scala
description:
back to scala-3.3.4: scalac in 3.3.5 is more than 2 times slower;


I tried to find out the reason for this slowdown, but did not succeed --- even 
after systematic web search for "bugs" and "fixes".


	Makarius