Correctly interpret other solver's out-of-time
Component handler now keeps saved state as outer variables

This means we don't need to constantly update the array
Cleaner python code, no if-else's
We removed the temporary files too early for multi-component fuzzing

Fixing it by doing delayed delete
Using ranged loop -- much cleaner
No need to have 'var' incremented here
Solver's addClause() requires *outer* literals

So don't convert them to internal ones
Don't check every time, just once if compHandler is enabled
Allowing un-saving (i.e. re-expanding) memory usage

This makes it possible to save memory when using the program as a
library
Cleaning up component handler clause re-adding
More verbosity if addClause() leads to UNSAT
Use conf.verbosity instead of #ifdef-s