Fix 'catch' & 'catch2' compatibility with glibc-2.34

Fix 'catch' & 'catch2' compatibility with glibc-2.34

Origin: vendor, Ubuntu
Bug: https://github.com/potassco/libpotassco/issues/12 (only catch1 part)
Last-Update: 2022-01-18

The gringo package contains several embedded copies of the 'catch' (CTest)
library. All of those copies are outdated and incompatible with glibc-2.34.
This patch updates the test sources to use the system provided versions of
'catch' and 'catch2' instead, to fix this issue.
C.f.: https://github.com/catchorg/Catch2/issues/2178
Last-Update: 2022-01-18
Gbp-Pq: Name use-system-catch-for-glibc-2.34-compat.patch