Add z3 submodule