Integrate Z3 Backend into WyCS

Second attempt; this one can be automatically merged ;)