mathsat → smt Relation

File in src/solvers/mathsat	Includes file in src/solvers/smt
mathsat_conv.h	fp / fp_conv.h
mathsat_conv.h	smt_solver.h