Changed function behavior in lazy atom propagator.
Changed printing behaviour for printing minisat in ASP output

So we are comform the syntax for the competition
Formatting
Improved debug output intvars.
Bugfix: fd-propagators should be scheduled strictly later than all fd-variables.
Refactored storing optimal values, so they can be retrieved externally.
Merged in printing (pull request #7)

Changed printing behaviour for printing minisat in ASP output
Removed code which should not have been commented.
catched empty sets in FDAggConstraint

This fixes #30
made the parser accept empty sets
Merged in fdagg (pull request #6)

catched empty sets in FDAggConstraint
Bugfixes: propagator was not always notified of being queued.
Fixed gecode interface to work again after long time out of use.
Extended LiteralPrinter to allow naming overrides, useful for proper printing of CP atoms.
Complete review of Gecode integration, which fully works except for products and for MIN_INT,MAX_INT.
Cleaned up symmetries in MinisatID. Now ready for actual implementation of algorithm.
Added a simple yet efficient version of symmetry propagation.
Bugfix in minimization of maximum aggregate (with OR)
Improving signal handling to enable use of ulimit.
Improved debug output, printing aborted instead of done when solving was aborted.