ex3: added presubmit.py, winmine.exe; updated .gitignore