Added Z3 directory and install script.