chore(cmath/cil2smt2): update .gitignore
chore: move src/cmath/cil2smt2 => src/cil2smt2