Use named pipe to terminate MiniZinc on Windows#195

Dekker1 merged 2 commits intoMiniZinc:developMiniZinc/minizinc-python:developfrom

cyderize:windows_pipe_terminatecyderize/minizinc-python:windows_pipe_terminateCopy head branch name to clipboard