Ignore some more generated files in git.