Quickly going back to our original Travis-CI script as we want to upgrade to CMake 3.0.0.