reasoning: Decouple reasoning engines from core mmint (6)

 * Change z3 directory names too
reasoning: Decouple reasoning engines from core mmint (7)

 * Forgot to commit the deleted z3 directories
reasoning: Decouple reasoning engines from core mmint (8)

 * Refactor ocl into own project
 * Dispatch constraint check using reasoner interface