Added dump_irep in header.
Merge pull request #2164 from scalone/public_dump_irep

Added dump_irep in header.