May models menu

created a may models menu in MID context menu.
Made some new listeners, made minor changes to old listeners for slightly different functionality.
We probably need to add refine() (or something similar) as part of the api of an IReasoningEngine, so that we can get rid of the explicit Z3 dependency. This class/methods would be the Z3 implementation of it.