New undump-buildings script

Fulfills a wishlist idea in issue #119.

(This pull request overrides the previous one.)