Update lib/gmp-ocaml and lib/unicode-ocaml
Turn off warnings of implicit elimination of optional arguments
Build with -safe-string