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

Z3 version 4.8.3

Merge pull request Z3Prover#1881 from Z3Prover/revert-1880-c++17

Revert "Made Z3 compile for C++17 with MSVC"

bumping version number by 1 for release tagging

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