added targets for "obj/cil.cm{a,xa}", an Ocaml CIL library
added targets for "obj/cil.cm{a,xa}", an Ocaml CIL library

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c