Add Toulbar2 solver and make output messages compliant with Minizinc Challenge.
fzn2py outputs solution in Minizinc Challenge format
mznlib sumpred not working yet