tycho: Towards os-specific z3 java libs (not compiling with tycho yet)

 * Add linux and win z3 fragment projects with different z3 libs
 * Add z3 java lib project as host
 * Fix missing plugin name and vendor in PetriNet operator