feat(cil2smt2): add smt2.ml
feat(cil2smt2): print out smt2 header and footer