Ensure UTF-8 encoding of MiniZinc playground file
Ensure UTF-8 encoding of MiniZinc playground file

Otherwise on Windows, ANSI will be used, which breaks unicode characters

MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE