Merge from vendor branch TNF:

Merge from vendor branch TNF:
Objective Caml is the latest implementation of the Caml dialect of ML. The main
novelties compared with its ancestor, Caml Light, are:

     * Full support for objects and classes -- here combined for the first time
        with ML-style type reconstruction.
     * A powerful module calculus in the style of Standard ML (but retaining
        separate compilation).
     * A high-performance native code compiler (in addition to a Caml
        Light-style bytecode compiler).

TO BE DONE: install emacs mode, get native compiler working on ARCHs that
support it.