feat(cil2smt2/test): add Makefile
test(cil2smt2): update test files