MacOS with homebrew

MacOS setup in setup.sh.
Default locations for homebrew install of both python and z3
(brew install z3)