Added z3.rb which has FFI bindings for many functions in the z3 library.
It assumes the Z3 library is in /usr/lib.