Add output/*.mine.txt rule to .gitignore