Fixed sigaction, which does not exist on windows, and fixed a MAX-AGG explanation bug.
Removed debugprinting in pcsolver.
Release 3.3.1
Fixed rpath handling (was included twice, once in incorrect place.
Bugfix in lazy propagator calls in eventqueue
Bugfix verbosity in propfactory. Removed some unused paramater warnings.
Bugfix in default value checking for options.
Updated version and cpack, small fix in parseOptions.
Bugfix in parsing options.
Reformatting definition and includes of assert code.
Merge branch 'public' of server:/repos/minisatid into public
Bugfix and refactor of finishparsing

Bugfix in finishparsing where an infinite loop was possible when unsat was found at a specific step
Refactored finishparsing: removed the unsat argument, know always checking the solver status
Updated solver
Updated solver
Added emptyset code and removed setting polarity

fixes #101
	Code has been added which propagates the heads of aggregates over empty sets.
Polarity is no longer set for delay literals.
Backtrack less when lazily adding clauses

Initializing definitions only backtracks to 0 when there are loops possible in the definition.
The propagatorfactory backtracks before adding any constraints except definitions and clauses.
Updated solver with similar optimizations.
Removed many compile warnings + slight refactor
Removed some more warnings, updated solver
Bugfix in satsolver
Bugfix in solver