Don't to SQL for any thread other than the first one
SQL is turned off other threads other than 0, so get_sqL_id can be enabled
Hackish way of getting rid of C++11 need when using the headers
Merge pull request #174 from malb/master

autotools build system
No need to resize this array to anything larger than this
Clauses are cleaned and removed in component finder

Don't do it here, too. Useless.
We don't need this hackery, it's a clean interface now.
A bit more asserts just to be sure in component handling
A bit more asserts, again, in component handling
Using helper function to see if DataSync is enabled or not
Duplicates must be removed from list of returned zero-assigned lits
More use of the helper function
A much easier-to-understand naming scheme

Also, it doesn't clash with that of Solver
Removing shadowing of local variable
No need to keep this origTrailSize around
Removing shadowing of class' variable
Removing shadowing of a local variable
Removing the shadowing of a local parameter
Check for needToInterrupt at more places
Delete fuzz files after regression testing -- some are left sometimes :S