Add z3 submodule and better readme