JasonGross Update .gitignore with .coq-native