Added push.sh to install-mac-linux.bat Resolves #5