Travis-CI: use homebrew to install CMake on OS X.

Indeed, for some strange reasons, to get the CMake binaries for OS X
doesn’t seem to work anymore (see
https://travis-ci.org/opencor/opencor/builds/30246404).