rename Pervasives->Z3Pervasives and cleanup define_relation
hook in GML parsing
fixed GML, added in dot.  neither appear to work.
added pushbutton
now printing input and output
add semi-precise timing to everything