Fix interval::sin to suppress a warning
Update .travis.osx.yml to use precompiled gcc/mpfr/gmp, and copy precompiled lean binaries to dropbox
Update .travis.osx.yml to use precompiled gcc/mpfr/gmp, and copy precompiled lean binaries to dropbox