remove nuget signing steps

add missing dependencies

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

remove copy of LICENSE.txt - pypi doesn't take it

install setup tools for python packaging

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

bump timeout for jobs

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

reduce hash table lookups in expr_abstract in half

add _0 to platform tag for pypi

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

update version number and release notes

add download of Arm64 to python packaging

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

enable release publish

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>