re-enable extraction of results in SMTBackend.solve, fix examples#14

bpowers wants to merge 4 commits into

Rust-Proof:masterRust-Proof/libsmt.rs:masterfrom

bpowers:masterbpowers/libsmt.rs:masterCopy head branch name to clipboard