Cleaner code, more space
Improving reorderHeap()
Giant bug, forgot to link in learnt clauses that have been made into non-learnt
Debug code for checking occur in simplifier
Pre-check solution in solution extender
Replacing literals also needs extender
Don't write to stderr, write to stdout

So we get buffered, nice output