added debian/copyright