* h_program-lang/skip_code.ml: skip_files_if_skip_list,
auto detect skip list
* main_scheck.ml: factorize code regarding skip list