Support for MiniZinc models

[ptal]

MiniZinc is one of the most used modeling language for constraint programming. The interesting point with MiniZinc is that it compiles the model to an intermediate format, called flat minizinc, which can be read by external constraint solver. This is why mainstream constraint solvers such as GeCode and Choco all provide support for MiniZinc. Therefore, we need to add support for MiniZinc in PCP as well, in order to ease the development of constraints model.