ocaml: Factor out flags into configure script.

No change, just refactoring.
ocaml: Pass -annot flag to compiler.

This generates .annot files that contain type information.
In emacs + tuareg mode, using C-c C-t displays the type of the
underlying expression.