Release 0.2.0

Upgrade z3 dependency

The opam package for z3 4.8.4 switched to static builds by default, but
still seems to have some issues with passing the correct flags.  This
seems to have converged to a working state with z3 4.8.7.