[tests] Remove legacy test for saver

tests/saver.t

@@ -9,22 +9,6 @@ Test verify
   $ bin/saver --version
   v1.0
 
-  $ caisar verify -L . --format whyml --prover=SAVer --dataset=dataset.csv - <<EOF
-  > theory T
-  >   use TestSVM.AsArray
-  >   use ieee_float.Float64
-  >   use caisar.caisar.DatasetClassification
-  >   use caisar.caisar.DatasetClassificationProps
-  > 
-  >   goal G: robust model dataset (8.0:t)
-  >   goal H: correct model dataset
-  >   goal I: cond_robust model dataset (8.0:t)
-  > end
-  > EOF
-  Goal G: Valid (2/2)
-  Goal H: Invalid (1/2)
-  Goal I: Unknown (0/2)
-
   $ cat - > dataset.csv << EOF
   > 1,0.5,0.5,0.0
   > 0,0.3,0.1,0.8