Add code coverage report generation to Alitheia core.