Fix version number comparison to work for multi-digit minor and patch versions
Fix version number comparison to work for multi-digit minor and patch versions

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