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]>

update to pypirc

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

fix Z3Prover#2309

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

new tag