removing bogus tpNulls
removing smtZ3.ml
asdad
cleaned up makefiles
updated build to NOT link against z3. SHOULD build on MACOS.
updated fixpoint to use SMTLIB2 as default