Remove z3 bindings fetching.
Update opam and Readme.