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.
This makes Z3 depend on the Graph metamodel and it shouldn't be the case.