[aorai] remove now-unused -aorai-output-c-file option

src/plugins/aorai/aorai_option.ml

@@ -73,16 +73,6 @@ module Ya =
                   (in Ya language) from file <f>."
     end)
 
-module Output_C_File =
-  Filepath
-    (struct
-      let option_name = "-aorai-output-c-file"
-      let arg_name = ""
-      let file_kind = "annotated C"
-      let existence = Fc_Filepath.Indifferent
-      let help = "specifies generated file name for annotated C code"
-    end)
-
 module Dot =
   False(struct
     let option_name = "-aorai-dot"

src/plugins/aorai/aorai_option.mli

@@ -29,7 +29,6 @@ module Ltl_File: Parameter_sig.Filepath
 module To_Buchi: Parameter_sig.Filepath
 module Buchi: Parameter_sig.Filepath
 module Ya: Parameter_sig.Filepath
-module Output_C_File: Parameter_sig.Filepath
 module Dot: Parameter_sig.Bool
 module DotSeparatedLabels: Parameter_sig.Bool
 module AbstractInterpretation: Parameter_sig.Bool