z3java: The new z3 interface runs!

 * Remove old jna library
 * Fix missing export of microsoft jar