exclude progress.log in .gitignore