Fix: generate correct C code for lustre programs that have var names containing quotes

src/soc2cIdent.ml

-(* Time-stamp: <modified the 21/07/2017 (at 17:04) by Erwan Jahier> *)
+(* Time-stamp: <modified the 22/05/2019 (at 09:43) by Erwan Jahier> *)
 open Soc
 
 let colcol = Str.regexp "::"
+let prime = Str.regexp "'"
 let id2s id = (* XXX Refuser les noms de module à la con plutot *)
   let str =
 	 match Str.split colcol id with
@@ -14,6 +15,7 @@ let id2s id = (* XXX Refuser les noms de module à la con plutot *)
 	   | _ -> id
   in
   let str = Str.global_replace colcol "_" str in
+  let str = Str.global_replace prime "_prime" str in
   str
 
 let long2s l = id2s (Lv6Id.string_of_long false l)

src/socExecValue.ml

-(* Time-stamp: <modified the 25/03/2018 (at 22:16) by Erwan Jahier> *)
+(* Time-stamp: <modified the 22/05/2019 (at 09:37) by Erwan Jahier> *)
 
 let dbg = (Lv6Verbose.get_flag "exec")