arg print-mzn? of minizinc: formatting revised
Tangling of examples -- noweb stripped from export