Add a new simpler CI build script
Add a new simpler CI build script

This script is used on Inria's infrastructure

Once all Inria CI jobs will use this script, it will replace the
legacy one.

(cherry picked from commit d847e077e8d9f5f434e630c05977b8657de5a57d)

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml