Update Travis CI config file for MacOSX