No need for empty lines
Add function to get removed clauses from component hander
Initialize all solver components to NULL
Only add var-replacement data into the dump if var-replacement is active
Use internal count of clauses instead of counting them again

Also, count tri clauses as well. Fixes #83

Thanks to Martin Maurer for finding this bug
Add data stored in component hander to the dump