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
make it clearer how to run K from an IDE
Merge pull request #1037 from dwightguth/z3-msvc

fix z3 on windows machines that do not have ms vc++
Merge pull request #1038 from dwightguth/ide

make it clearer how to run K from an IDE