MiniZinc: Added Kidney models and .dzn files
Picat: Added euler55.pi