Support ocaml 5.0.0

[ingenieroariel]

Ocaml 5.0.0 has been released with support for shared memory parallelism and shared handlers.

Are there any features missing from Cosmopolitan that would make supporting it difficult? Is it a good initial task for new contributors?

[dinosaure]

Are there any features missing from Cosmopolitan that would make supporting it difficult? Is it a good initial task for new contributors?

From the Cosmopolitan side, everything should be fine. However, the way to compile OCaml 5.0.0 is a bit different than OCaml 4.{13,14}.{0,1}. As far as I can say, I would like to be inspired by the OCaml 5.0.0 support of Solo5: mirage/ocaml-solo5#122 (I'm currently cleaning this PR). It should be not so hard but it requires a meticulous and commented work. It will be nice if new contributors can propose a work-in-progress. Technically, my blog post about Esperanto can help about the design of the projet: https://blog.osau.re/articles/esperanto.html (moreover, ocaml-solo5 and esperanto share the same design)