Run the TravisCI builds on MacOSX

Unfortunately TravisCI does not allow to test the same branch on both
Linux and MacOSX...