feat(cil2smt2): add info.ml & info.mli
chore(cil2smt2): add copyright
copyright fixup
fix(cil2smt2): remove "Open Int64"
refactor(cil2smt2): have main.ml; use BatGlobal for ``debug``
feat(cil2smt.ml): support limited switch statment.