[m-rev.] proposal for moving some options to new categories

[Zoltan Somogyi]

Proposal for moving some options to new categories

From oc_grade_mprof:
    delete the following four options:
    delete time_profiling  (NOT the .prof grade!)
    delete profile_calls
    delete profile_time
    delete profile_memory  (NOT the .memprof grade!)

Move the whole oc_verb_dev subsection
    from the oc_verbosity section to the section containing oc_dev_ctrl

Add new section, oc_intermod, for intermodule optimization
    add a new oc_plainopt subsection as the first subsection of oc_intermod
    make oc_transopt the second subsection of oc_intermod
    add a new oc_latexmodel subsection as the third subsection of oc_intermod

From the oc_opt_ctrl section
    move to oc_plainopt
        intermodule_optimization
        read_opt_files_transitively
        use_opt_files

    move to oc_transopt
        transitive_optimization
        use_trans_opt_files

    move to oc_latexmodel
        intermodule_analysis
        analysis_repeat
        analysis_file_cache
        analysis_file_cache_dir

Does anyone have any objections to the above?
For example, does anyone think that the four options whose deletion
I am proposing will ever be useful again?

And on a related note, Julien, do you have any objection against
making public the options for the second termination analyser, which is,
or at least was, your baby?

Zoltan.