debian/copyright: update formatting.