added yices_main to .gitignore
proj1/src/4.py: solved and added output