COMPILER: initial support for ocaml 4.02

- new dependency : optcomp (can be remove easily)
- magic number check is wrong, should accept only one of "Caml1999X008", "Caml1999X010"