Generate .cmt and .annot file annotations
Allow options in OCAMLBUILD make variable