New gnulib-tool option --copy-file.