feat(cil2smt2): implement get_low_nbits
fix(cil2smt2): fix trailing 0s in constants
chore: delete smt2 files
chore: add .gitignores
fix(cil2smt2/cil2smt.ml): update array handling routine