Test dedupe - for now we run os x tests on Jenkins.
Test dedupe - for now we run os x tests on Jenkins.

And as Travis is the slowest part of Stan builds, we'll cut off the OS X builds to save time
and get feedback to developers sooner. They're still covered by the Jenkins tests.

stan-dev/stan,stan-dev/stan,stan-dev/stan,stan-dev/stan,stan-dev/stan