Update README.md

Z3 download site has moved to CodePlex