git-ignore more generated files