Ocaml 4.01 ready

changes to the codebase needed for OCaml 4.01;
changes to our jenkins jobs