* lang_c/analyze/datalog_c.ml: adding todos
* readme.txt: update