mzn-fzn: parse stdout only (linux too), mixing output with stderr seems better than on Win
mzn-fzn: parse stdout only (linux too), mixing output with stderr seems better than on Win

nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc