ocamloptp: fix wrong name for -inline-max-unroll option (#1843)
ocamloptp: fix wrong name for -inline-max-unroll option (#1843)

When using ocamlopt with the argument -inline-max-unroll, ocamloptp would pass it as -unroll to ocamlopt, thus leading to an error.
gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml