feat(cil2smt.ml): support limited switch statment.
chore(cil2smt2): update Makefile
feat(cil2smt2): add skeleton for testing (main.c, get_low_nbits.[ch])
feat(cil2smt2/test): add Makefile
test(cil2smt2): update test files