add `GetValue` smt2 command
Merge branch 'upstream-smtlib2'