makefile: upload osx binary to aws s3; publish to pypi