Build in travis-ci using osx instead of linux