add full license texts to debian/copyright