Add a new test on reification
update the way LNS is defined.
Merge branch 'develop' into feature-lns
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
Merge branch 'develop' into feature-lns
Merge branch 'feature-lns' into develop