mu-mmint: Enable counterexamples for all mavo models (not working yet)
mu-mmint: Fix counterexamples for all mavo models (part 1)
mu-mmint: Fix counterexamples for all mavo models (part 2)
mid: Refactor common code in diagram context menu
mu-mmint: Remove some redundant mid context menus
mu-mmint: Refactor refinement listener and function names
mu-mmint: Fix refinements for all mavo models (part 1)

 * Refactor refinement code to be model type agnostic
 * Generate model rel tracking the refinement
 * Start introducing null analysis bit by bit
 * Use better apis in test to get root types
mavo: Fix models that were using the old mavo metamodel uri
mu-mmint: Fix refinements for all mavo models (part 2)

 * Optimize z3 calls
 * Keep adding null analysis
mu-mmint: Fix refinements for all mavo models (part 3)

 * Allow successive refinements with different names
 * Create/change apis to obtain unique uris
 * Fix model instance creation of editors
mu-mmint: Fix refinements for all mavo models (part 4)

 * Populate refinement rel
 * Fix smt encoding with empty may decision
 * Add direct menu to invoke refinement (temporary?)
mu-mmint: Fix refinements for all mavo models (part 5 and final)

 * Slightly change refiner api
 * Properly address exceptions
 * Move to mavo package within z3 project
icse15: Add StateMachine model type and editor
icse15: Fix missing eugenia labels in initial/final state
icse15: Add StateMachine diagram
icse15: Fix StateMachine diagram parameters
icse15: Add StateMachine_MAVO model type and editor
icse15: Add StateMachine_MAVO diagram specs
icse15: Add StateMachine_MAVO diagram
icse15: Add StateMachine feature for build and installation