[release] Upgrade CAISAR version number and added test dependencies

CHANGES.md

-# 2.0 (17-06-2024)
+## 2.0 (19-06-2024)
 
 - [interpretation] Add transformations that allow the verification of several
   neural network at once. Within particular patterns, CAISAR will generate

caisar.opam

 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "1.0"
+version: "2.0"
 synopsis:
   "A platform for characterizing the safety and robustness of artificial intelligence based software"
 maintainer: ["AISER team, Software Safety and Security Laboratory, CEA-List"]
@@ -35,6 +35,7 @@ depends: [
   "ppx_deriving" {>= "5.1"}
   "ppx_inline_test" {>= "0.12.0"}
   "ppx_deriving_yojson" {>= "3.6.1"}
+  "conf-python-3" {with-test}
   "odoc" {with-doc}
 ]
 build: [

dune-project

 (lang dune 3.8)
 (name caisar)
-(version 1.0)
+(version 2.0)
 
 (using dune_site 0.1)
 
@@ -45,6 +45,7 @@
    (ppx_deriving (>= 5.1))
    (ppx_inline_test (>= 0.12.0))
    (ppx_deriving_yojson (>= 3.6.1))
+   (conf-python-3 :with-test)
   )
   (sites
    (share stdlib)