Add a new test on reification
update the way LNS is defined.
add weak BC version of AllDiff
Merge branch 'feature-AD_BC' into develop
Merge branch 'develop' into feature-lns
fix LF
default settings
fix
change monitor list

linked list -> array list
(because of get operations)
minor
to check

bizare: not the same log with and without LF!!!
Merge branch 'feature-heuristics' into develop
small fix
fix idempotency
Merge branch 'feature-fixset' into develop
issue Jorge: avoid useless temporary creation of array of variables
fix bug in explanations recorder (due to laziness)
Few things about LNS:

- update random neighborhood: nbFixedVars is now a double,
- add fast restart direct in LNS, instead of external declaration, thanks to a counter,
- add a parameter to SearchLoop#interrupt(String message)
Update ELNS and add nogoods:

- update FZN parser to deal with various LNS,
- add nogoods on restarts: see "Nogood Recording from Restarts", C. Lecoutre et al.
change explanation of NogoodStore