Checking which version of CMake is nowadays available on Travis-CI.