Official release binary Z3 4.4.0 (Windows x86 and x64).

This version is the latest code that is known to be pure, MSFT-only c…

…ode.

Z3 4.3.2

fixed clang++ for linux

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

Display version number using new format

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

update_api script for Linux/OSX

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>