Changed Travis CMake configuration to enable coverage.