WyCS: integrated the Z3 backend implemented by Henry Wylde.  Hopefully, it works ;)