Upgrade GobView to OCaml 5

[sim642]

This should fix GobView being uninstallable after #1708.

TODO

• Merge Upgrade to OCaml 5 gobview#52.
• Check for GobView CI job to succeed: https://github.com/goblint/analyzer/actions/runs/15172048424/job/42664235131

[sim642]

I'm not sure what's going on, but it's still broken in the nightly CI (https://github.com/goblint/analyzer/actions/runs/15290394782/job/43008642771):

{'level': 'SEVERE', 'message': 'webpack://gobview/./src/App.bc.js? 160178:36 Uncaught TypeError: runtime.caml_thread_self is not a function', 'source': 'javascript', 'timestamp': 1748401316557}

It's especially weird because it succeeded in the manual CI job I ran on the branch beforehand.

[michael-schwarz]

Is it a dependency issue somehow? Or one of the newer PRs? Maybe worth bisecting?

[sim642]

I didn't do a careful analysis, but one thing that changed was #1753, changing ocamlfind from 1.9.6 to 1.9.8. This is part of ocamlfind 1.9.7, but I don't know if this is the cause: ocaml/ocamlfind#76.

[sim642]

I finally looked into it and looks like it was just batteries being used instead of batteries.unthreaded: 63df974. The GobView job finally succeeded after two months of daily failures.