z3java: Add initial project

 * Library taken from z3 unstable branch, commit
fb4c07a2ea336ad62fbfce3e4f49579fa088cdef
z3java: Ported glue z3 library to java
z3java: Ported all operators to new java z3 interface

 * Temporarily disable check constraint using smtlib
z3java: The new z3 interface runs!

 * Remove old jna library
 * Fix missing export of microsoft jar
z3java: Temporarily disable optimizations

 * Model string from z3 has changed
 * Export microsoft api package
 * Simplify incremental solver
z3java: Add stub of z3 model parsing
z3java: Restore optimizations based on z3 model parsing
reasoning: Decouple reasoning engines from core mmint (1)

 * Define reasoning interface
 * Move checkSMTLIBConstraint() and related operator into Z3 project
 * Z3 project provides a reasoning implementation
reasoning: Decouple reasoning engines from core mmint (2)

 * Add indendent feature for Z3 installation
reasoning: Decouple reasoning engines from core mmint (3)

 * Define extension point for reasoners
reasoning: Decouple reasoning engines from core mmint (4)

 * Parse extension point for reasoners
 * Ready to use it to dispach constraint check
reasoning: Decouple reasoning engines from core mmint (5)

 * Refactor z3 projects into the modelepedia namespace
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
reasoning: Decouple reasoning engines from core mmint (9)

 * Add ocl project
reasoning: Decouple reasoning engines from core mmint (10)

 * Refactor java constraint solving into own project
reasoning: Decouple reasoning engines from core mmint (11)

 * Move model rel type transformation out of core mmint
reasoning: Decouple reasoning engines from core mmint (12)

 * Refactor EMFtoCSP reasoner out of core mmint
reasoning: Decouple reasoning engines from core mmint (13)

 * Allow selection of default reasoners per language
 * Switch mmint settings to Eclipse preferences
 * Add name to reasoners extension point