Dump GC stat in verbosity level higher than 2

src/main.ml

-(** Time-stamp: <modified the 11/03/2009 (at 16:17) by Erwan Jahier> *)
+(** Time-stamp: <modified the 19/01/2010 (at 15:49) by Erwan Jahier> *)
 
 (** Here follows a description of the different modules used by this lus2lic compiler.
 
@@ -303,6 +303,7 @@ let my_exit i =
 let main = (
   (* Compile.init_appli () ; *)
   parse_args ();
+  if Verbose.get_level() > 2 then Gc.set { (Gc.get ()) with Gc.verbose = 0x01 };
   if !Global.run_unit_test then (
     UnifyType.unit_test ();
     exit 0
@@ -321,6 +322,7 @@ let main = (
       dump_entete !Global.oc;
       Compile.doit nsl main_node;
       LicDump.dump_type_alias !Global.oc;
+      if Verbose.get_level() > 2 then Gc.print_stat stdout;
       close_out !Global.oc
   ) with
       Sys_error(s) ->