Removed Z3, should be installed outside of the project. Modified
.gitignore.