Computing Code Coverage

TO-DO: Help us figure out how to compute code coverage using CMake, and document the process here.