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

move to python3 for release.yml

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

Update release.yml for Azure Pipelines

disable pypi republish for 4.8

upgrade pip

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

temporary remove delete from nightly

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