Add ocamleditor-1.12.0