ignore some generated files

Conflicts:
	.gitignore