2013-sc: Add generated files from diff-patch to local .gitignore.