* lang_c/analyze/ast_cil.ml: split from datalog_c
* lang_c/analyze/test_analyze_c.ml: naive -dump_cil