Remove some cruft from the string that module_identifier() returns. Rev: server/base_server/module.pike:1.87