Travis CI: apparently, make sure that we can download CMake on Linux even if their certificate is not 'valid'.
Travis CI: apparently, make sure that we can download CMake on Linux even if their certificate is not 'valid'.

mirams/opencor,mirams/opencor,mirams/opencor,mirams/opencor,mirams/opencor