a little bit better module dumping

Rev: bin/install.pike:1.54
Rev: lib/master.pike.in:1.112
Rev: lib/modules/Standards.pmod/ASN1.pmod/Types.pmod:1.13
Rev: src/dumpmodule.pike:1.9
Rev: src/modules/Regexp/module.pmod.in:1.3