Feature/minizinc benchmarks

Added some minizinc implementations of models for some of the problems, taken from the distribution benchmarks and examples.
There are also some extra instances and solutions for some instances.