feat(cil2smt2): add skeleton for testing (main.c, get_low_nbits.[ch])
feat(cil2smt2/test): add Makefile
test(cil2smt2): update test5