tycho: Build in two stages

 * Stage 1: libz3java, os-specific
 * Stage 2: mmint, generic, depends on artifacts from stage 1