Ocaml modules/upgrade and new

Upgraded some ocaml packages and added three new ocaml packages.

All this packages now compile une ocaml 3.12.1 and 4.00.1.

Also added patoline typesetting system (the above modification where needed for this).