Tweaks to CMake and .travis.yml for new code coverage script.