chore(cmath/cil2smt2): update .gitignore