multiple DESTDIRs

We'll need to handle multiple DESTDIRs. Comparing two DESTDIRs you can know
the difference. Making an archive would be easy. Binpatch should not be
difficult if we have stable (== reproducible) build once. And it's almost
there.
Masao
--
Masao Uebayashi / Tombi Inc. / Tel: +81-90-9141-4635