optimizations for KMP#492

c-cube wants to merge 5 commits into

mainc-cube/ocaml-containers:mainfrom

simon/optim-kmpc-cube/ocaml-containers:simon/optim-kmpCopy head branch name to clipboard