Generate prototypes for C stubs from ml files

[talex5]

This allows generating C function prototypes from the OCaml source code using https://github.com/edwintorok/lintcstubs, so the compiler can check that they match. This didn't find any errors (unlike with uring).