Update Z3Wrapper.java

There was a compilation error due to a missing ";", also added a static variable for z3 lib name, in a similar way to the static variable LIB_NAME, also commented two unused lines