Upgrade to OCaml 5.0.0

[nicokn]

Upgrade to OCaml 5.0.0 to support new language features e.g., shared memory parallelism.

List of tasks for goblint/analyzer

• mlgmpodl 1.2.14 -> 1.2.15 (not yet in opam, OCaml 5 support nberth/mlgmpidl#17)
• ocaml-config 2 -> 3
• apron v0.9.13 -> latest (Package apron.v0.9.14~beta.2 ocaml/opam-repository#24090)

List of tasks for goblint/gobview

• jsoo-react.dev -> latest

[FeldrinH]

mlgmpodl 1.2.15 is now on opam. Hopefully apron will follow soon (antoinemine/apron#89).

[sim642]

Actually Apron is already in the pipeline as well: ocaml/opam-repository#24090.

[sim642]

I'll close this as all our dependencies are available under OCaml 5.0 now and Goblint does work. However, as discovered in #1137, there are some performance regressions to be investigated before we can use OCaml 5.0 as the default. But that's a separate challenge.