In the new Codec, isn't it better to prefix strings with "\1", "\2" etc
instead of "s", "p" etc, to ensure no interference with resolving e.g.
q->p->r?
Also, should we make the module dumper a Standalone Tool (i.e. NOT
making it standalone but part of Pike), so that one can do
"pike -x dump my_module.pmod"? Another idea is that "pike -x dump"
redumps all module directories.