Added the custom minizinc -> flatzinc converter feature.