debian: Make git ignore several intermediate files.