make_makefiles: In .gitignore, explicitly list files that we know are generated instead of using wildcards.