Updated Travis-CI; now building on OSX as well