install setup tools for python packagingSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

bump timeout for jobsSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

reduce hash table lookups in expr_abstract in half

add _0 to platform tag for pypiSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

update version number and release notes

add download of Arm64 to python packagingSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

enable release publishSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

update release scripts and notesSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

add release notesSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

update release notesSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>