Fixing irred clause dumping

Forgot that we are now storing orig-numbered literals, so no
back-numbering is needed

Also, I now use a helper function to dump, cleaning up code

Fixes #112
Better printed output