Update the file names and extensions Git should ignore.
Minor cleanup.