git ignore Z3 files
make init, egg creation and make install