Adding statistics to irredundant dump

Thanks to Martin Maurer for the code!

Fixes #95