PR#5712, part 9: new option -bin-annot is not documented
    Also documented a bunch of other options that were missing.
    Changed wording: "error-enabled" warnings are now "fatal" warnings.
    Fixed the alphabetic ordering of options in a number of places.
    Updated the lists of default warnings.
    Rephrased a bit of the documentation.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.01@14025 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02