adding .mine files to .gitignore