Try to produce static executables for Linux

As an alternative for debian packages or singularity images, we could produce static executables for Linux (and maybe macOS) using this procedure:

https://ocamlpro.com/blog/2021_09_02_generating_static_and_portable_executables_with_ocaml/

I tried it on a simple project with a dependency on a C library (zeromq) and it worked rather easily.