Update to 4.14

[nojb]

I synchronized with 4.14.

This is untested, but the changes were pretty minor, mostly adaptations to API changes upstream. One issue that needs discussion is whether we want to keep support for older versions of OCaml. If yes, the present patch needs a few tweaks so that it still compiles with older versions of the compiler.