chore(cil2smt2): move src/cmath/cil2smt2 => src/cil2smt2
chore(cil2smt2): move testfile sin.c to test/