one more attempt to ignore catch.hpp from coverage
one more attempt to ignore catch.hpp from coverage

bradparks/ChaiScript__cplusplus_scripting_language,bradparks/ChaiScript__cplusplus_scripting_language,bradparks/ChaiScript__cplusplus_scripting_language