#37520: [TODO] rename library files from .imc to .pir ~ convert dumper.imc references to dumper.pir
#37520: [TODO] rename library files from .imc to .pir
~ convert dumper.imc references to dumper.pir

git-svn-id: 25691d43496b77c53f0b494379003863a981bfc4@10743 d31e2699-5ff4-0310-a27c-f18f2fbe73fe

bschmalhofer/m4