added Z3-4.3.1 (master branch from Z3-git), download link used to avoid git cloning errors on e.g. Ubuntu 12.04