smtlib → util Relation

File in src/solvers/smtlib	Includes file in src/util
oneshot_process.cpp	base / filesystem.h
oneshot_process.cpp	message / message.h
oneshot_process.cpp	config / options.h