Remove redundant description of GPL-3 from debian/copyright