Added __main__.py for egg
Added main
Changed .gitignore
moved __main__.py to src
ignore winds executables and egg files
resolved merge conflict
git ignore Z3 files
make init, egg creation and make install
claferSMT script
updated README
cleanup
exclude Makefile from egg
better summary
remove useless files from z3 copy
begin 0.3.6.2 development
Merge branch 'develop' into NoScope