Move tracing functions down to SMTLIBSolver module
Merge pull request #190 from mebsout/yices_native_support

Move tracing functions down to SMTLIBSolver module