message: update argmin_core version
diff: @@ -20,17 +20,14 @@ exclude = [
  [dependencies]
  # argmin_core = { path = "../argmin-core"}
  # argmin_testfunctions = { path = "../argmin-testfunctions" }
  -argmin_core = { git = "https://github.com/argmin-rs/argmin-core.git", branch = "master"}
  -argmin_testfunctions = { git = "https://github.com/argmin-rs/argmin-testfunctions.git", branch = "master"}
  -# argmin_core = "0.2.4"
  -# argmin_testfunctions = "0.1.1"
  +# argmin_core = { git = "https://github.com/argmin-rs/argmin-core.git", branch = "master"}
  +# argmin_testfunctions = { git = "https://github.com/argmin-rs/argmin-testfunctions.git", branch = "master"}
  +argmin_core = "0.2.5"
  +argmin_testfunctions = "0.1.1"
  rand = { version = "0.6.5", features = ["serde1"] }
  rand_xorshift = { version = "0.1.1", features = ["serde1"] }
  serde = { version = "1.0", features = ["rc"] }
  approx = "0.3.2"
  -# argmin_codegen = "0.1.8"
  -# argmin_codegen = { path = "../argmin-codegen"}
  -# argmin_codegen = { git = "https://github.com/argmin-rs/argmin-codegen.git", branch = "master"}
  [dev-dependencies]
  ndarray = { version = "0.13", features = ["serde-1"] }
  