smtlib → smt Relation

File in src/solvers/smtlib	Includes file in src/solvers/smt
oneshot_process.h	smt_result.h
smtlib_conv.cpp	tuple / smt_tuple_node.h
smtlib_conv.h	smt_solver.h