Add ENABLE_COVERAGE, for building a +Coverage (gcov) configuration.