update release notes

Signed-off-by: Nikolaj Bjorner <[email protected]>

Update release.yml for Azure Pipelines

enable pypi release

Signed-off-by: Nikolaj Bjorner <[email protected]>

wasm build: disable error handler (Z3Prover#5996)

* wasm: set error handler to no-op

* wasm: better wrapper for use in html

remove buggy code, close, fix Z3Prover#5825

Signed-off-by: Nikolaj Bjorner <[email protected]>

Update release.yml for Azure Pipelines

enable publish

Signed-off-by: Nikolaj Bjorner <[email protected]>

Update release.yml for Azure Pipelines

centos -> glibc

Update release.yml for Azure Pipelines