* skip_list.txt:
* h_program-lang/datalog_code.ml: start bddbddb fact extraction,
buid sets
* h_program-lang/datalog_code.ml: bddbddb generator!
works on xv6 and plan9 (well terminate at least)