Change debian/copyright to the new machine-readable format.