fix z3 on windows machines that do not have ms vc++
fix missing classifier in pom
update readme because msvc++ is now packaged with binary
Merge pull request #1037 from dwightguth/z3-msvc

fix z3 on windows machines that do not have ms vc++