Changes to the EML Kit from version 1.1 to
the Proof Obligations Generator extension
-----------------------------------------------------------------------------

There are added four new functions available from command prompt:
- oblig: unit -> unit
- obligFile: string -> unit
- topoblig: unit -> unit
- topobligFile: string -> unit

The first two functions generate the proof obligations for given EML program,
the last two functions additionally display the signatures and groups the proof
obligations by the top-level declarations (of structures and functors).

List of affected files:
src/Common/KitCompiler.sml
src/Common/INTERPRETER.sml
src/Common/Interpreter.sml
src/Common/SOURCE_INFO.sml
src/Common/SourceInfo.sml
src/Parsing/GRAMMAR_UTILS.sml
src/Parsing/GrammarUtils.sml
src/Parsing/LEX_BASICS.sml
src/Parsing/LexBasics.sml
src/Parsing/Topdec.grm (so Topdec.grm.sml too)
src/ML_CONSULT_INT
tools/NJ/buildNJint

All changes are surrounded with sentences (* arkady *) and (* end of arkady *)
(except ML_CONSULT_INT and buildNJint)

There are new files in src/Common/ directory and they are listed below:
- ObligationsEnv.sml
- OBLIGATIONSENV.sml
- ObligTopdec.sml
- OBLIGTOPDEC.sml

