Added AF-adapting functions

+ Added adaptTo for SetArguments
+ Added adaptTo for Labelling
~ Changed temporary prefSAT solution with a call to adaptTo
+ Added calls to adaptTo in places where it should be useful
First improvements over fixed version

See "First improvements"
Small fixes

Improvements still not fully fixed
Fix tentative
Merge branch 'incrementalOpt' into uberOpt

Conflicts:
	src/Preferred_pref.cpp
SDAFWGSA
Strange things

Pseudo identical to base version, with skeleton of the improvements.
Results differ from base, but may be the correct ones.
FFS

Improvements seem to be correctly implemented.
The PEs are still different from eachother. At every step.
First step towars a new symbolical world

+ Written an hypothetical interface for SymbolicArgumentsSet
First migrations to Symbolic

Changed the headers in Preferred.h
Adapted the whole pref function
Adapted main.cpp to reflect the new pref
Corrected a flaw in pref and adapted SCCSEQ
Grounded adapted
Deleted adaptTo method from Labelling class
Boundcond adapted
Symbolic Arguments Set

+ Added the code for the class
Merge branch 'uberOpt' of https://github.com/MORZorg/SemOptRZ into uberOpt

Conflicts:
	src/SymbolicArgumentsSet.h
Various fixes

_ Still an improvement to implement
_ Still some results different from the previous versions ( to be
compared with ASPARTIX)
Example4 added
Symbolic working

Maybe. Still unknown whose results are the right ones and a few differ
between the versions.