z3java: Temporarily disable optimizations

 * Model string from z3 has changed
 * Export microsoft api package
 * Simplify incremental solver