chore: add .gitignores
fix(cil2smt2/cil2smt.ml): update array handling routine