minizinc: now also prints data with option :print-mzn?