download z3 instead of cloning the repo. Fixes some HTTPS trouble with cloning from codeplex