Update to GraalVM 25

[Ostrzyciel]

The new -H:+MLCallCountProfileInference option reduces the size of the binary by a lot – from 63.96 MB to 48.92 MB. But, as Oracle notes, this does come at a small cost to throughput.

GraalVM 24:

$ time jelly-cli rdf from-jelly ~/work/rb/jelly_full/digital-agenda-indicators.jelly > /dev/null

real    0m12,316s
user    0m10,773s
sys     0m1,542s

GraalVM 25:

$ time ./jelly-cli rdf from-jelly ~/work/rb/jelly_full/digital-agenda-indicators.jelly > /dev/null

real    0m14,501s
user    0m12,817s
sys     0m1,680s

I think it's worth it for most users... having a smaller binary should really be our priority. For maximum throughput we recommend the JAR builds anyway.

[Ostrzyciel]

I tried it also with this option disabled, and while the size of the binary is same as in 24, the time is still 14 seconds... so this optimization is not the problem, something else is.

Huh!

[Karolina-Bogacka]

If the binary is smaller but the processing time has not changed, then the update makes sense to me.
We should probably investigate the processing time difference, though.

[Ostrzyciel]

Yeah, with the same settings, I'm getting like 10% worse throughput on GraalVM 25 vs 24. Ugh, okay...?

Maybe I will just wait for this to settle down a little bit.