smt → fp Relation

File in src/solvers/smt	Includes file in src/solvers/smt/fp
smt_fp_conv.cpp	ir_ieee_conv.h
smt_solver.cpp	ir_ieee_conv.h
smt_solver.h	fp_conv.h