install minizinc 2.0