[commit 1/3] Import gnulib's update-copyright script

[Tom Tromey]

>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes:

Joel> Sure. Since there does not appear to be gnulib releases, I was
Joel> under the impression that we'd always go with the current head,
Joel> somehow. Having the hash in the script is a good idea, makes
Joel> things completely reproduceable...

Yes, I think most gnulib users just update it using gnulib master.

Last time we discussed this, Mark K. said that our approach was to
update it based on need.

Recording the revision somewhere obvious (not ChangeLog perhaps but
maybe a file in the "wrapping" directory, whatever it is called?) seems
ok to me.

Tom