dumpallocs: emit properly dwarfidl-escaped idents, instead of our ad-hoc mangling.
scripts: add handy Debian script for listing packages that we should compile to allocs-run a given binary. Comment older script.