Integrate Z3 Backend

Attempting to pull Henry's code from his repository back into the Whiley Compiler.