[MZN] update fzn_choco
Merge branch 'feature-mzn2' into develop