Add get-value to various method docs#94

alex-ozdemir wants to merge 2 commits intocvc5:maincvc5/cvc5_pythonic_api:mainfrom

alex-ozdemir:doc-get-valalex-ozdemir/cvc5_z3py_compat:doc-get-valCopy head branch name to clipboard