PR#6619: update documentation of Printexc.set_uncaught_exception_handler

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15561 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
PR#6628: Configure script rejects legitimate arguments

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix a bug where the .annot files were truncated because of a missing "close"

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15564 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
fix delete.ml