feat(opensmt/smtsolvers/SMTConfig.C): set up version string