falcon-z3

Rust bindings for z3.

These bindings are currently building against z3 4.7.1.