cleaned up debian/copyright info