MiniZinc Python 0.4.0

Changed

• The check_solution has been split into two separate functions. The
  check_result function allows the user to check the correctness of a
  Result object and the new check_solution function can check the
  correctness of an individual solution in the form of a data class object or a
  dictionary.
• Model.add_file no longer has its parse_data flag enabled by default.

Fixed

• Catch lark ImportError before LarkError during Model.add_file() since
  LarkError will not exist if the import failed.
• Ensure a DZN file does not get included if its data is parsed.