[committed] Add copyright update script to contrib/

[Richard Sandiford]

"Bernhard Reutner-Fischer" <rep.dot.nop@gmail.com> writes:
> On 4 February 2013 20:42:55 Richard Sandiford 
> <rdsandiford@googlemail.com> wrote:
>> ...now that all the output has been approved.
>>
>> Richard
>>
>>
>> contrib/
>> 	* update-copyright.pl: New file.
>>
>> Index: contrib/update-copyright.pl
>> ===================================================================
>> --- /dev/null	2013-01-15 19:11:41.843960094 +0000
>> +++ contrib/update-copyright.pl	2013-02-04 19:40:37.903547053 +0000
>> @@ -0,0 +1,766 @@
>> +#!/usr/bin/python
>
> I find this slightly confusing ;)

Hah!  That'll teach me for renaming the thing just before committing. :-)

Now renamed to update-copyright.py, thanks.

Richard