Add missing Gnulib files; update `.gitignore'.