add namespace prefix to `dump_irep`
Merge pull request #2178 from cremno/rename-dump_irep

add namespace prefix to `dump_irep`