Add a couple instructions about the z3b
Update the README more
Merge branch 'master' of github.com:eseidel/saycbridge