feat(cil2smt): add integer support.

1. Add `Int` Variant to Basic.ml
2. Transform Cil int to Basic.Int.