Use Difference.from_operation in an attempt to pipeline the output of...

Use Difference.from_operation in an attempt to pipeline the output of scripts/extract-vmlinux, potentially avoiding it all in memory. (Re: #eproducible-builds/try.diffoscope.org#28)