chore(cmath): use cmake instead of make
fix(cmath/sin.c): suppress warnings
feat(cmath): add simplified.c
feat(src/cmath/cil2smt): basic implementation

1. The Simplify extension is not strong enough.
feat(src/cmath/cil2smt): add ssa transformation.