Solver takes updater as field and init

better than problem as init field
complete problems
minor modifications

- erase in addValue is set at True by default
- infos string was buggy (str(x) was acking)
add a solver with a first reinterpretation step

updater.updateAppliableSchemas() is now used after applyMove to avoid a
bug
add consistency constraints

(first step)
bug fix, and constraints add as arguments

- self.possibleRepresentationChangeList=[] needed when updating move
list
- constraints add as arguments when move/schema listing
Extensions of several basic functions

### applySchema :
trial = False, in order to use only to compute the unknow (in order to
see if it fits its interval)
### applyRepresentationMove
breakTheOldOne=True in order to break the old representations when
re-interpretation
minor change

Count the number of paths
complete removeValue function
default Global parameters
add arguments for multiplying interpsteps

(not finished yet)
Class Infos to gather step informations
Infos gives objectformula