MiniZinc IDE 2.0.7

This release contains a few bug fixes, and adds a new default for running models (find one solution for satisfaction problems, but show all intermediate solutions for optimisation). The version number is now synchronised with the corresponding MiniZinc release to avoid confusion.

One of the bugs required a temporary fix that means that the editor window is now disabled while the solver is running. We will provide a better solution in a future update.