gnulib-tool: Remove old file names from .cvsignore, .gitignore.