add _0 to platform tag for pypi

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

update version number and release notes

add download of Arm64 to python packaging

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

enable release publish

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

update release scripts and notes

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

add release notes

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

update release notes

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

updated release notes for 12.2

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

update release script

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

Update release.yml for Azure Pipelines