Update copyright script.

src/tools/copyright

-rgrepc -l 'Copyright.*PostgreSQL Global Development Group' | while read FILE
+rgrep -l 'Copyright.*PostgreSQL Global Development Group' | while read FILE
 do
 	pipe sed 's/^\(.*Copyright (c) [12][0-9][0-9][0-9]-\)[12][0-9][0-9][0-9]\(, PostgreSQL Global Development Group.*\)$/\12005\2/' $FILE
 done