let main () = 
  Helm_registry.load_from "matita.conf.xml";
  Http_getter.init ();
  MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
  Http_getter.update ();
  Http_getter.sync_dump_file ()
;;

main ()