Add Z3 package

OPAM package for Microsoft's Z3 SMT solver.