Update README.md

Link to Leonardo's blog post, locating the Z3 binaries.