Convert debian/copyright to machine-readable DEP5 format