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).
