WASM Build Failure

[toolCHAINZ]

I did a little bit of triage on the recent WASM build failures. I don't have a fix, but the cause seems to be this:

rust-lang/cc-rs#1284

Seems to have happened because:

• z3.rs has no committed lock file or direct dependence on a version of cc.
• rust-bindgen, which is what is actually using cc just targets the major version1.0.
• cc 1.2.0 changed the flags passed to wasm targets, adding in -fno-exception

So the CI is pulling in cc 1.2.0, which is using that flag and failing on the z3 build.

[toolCHAINZ]

Adding an explicit dependence on cc 1.1 in z3_sys as follows seems to fix it:

cc = "~1.1"

[toolCHAINZ]

I've made #329 with this change.