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