devel/catch: update to 1.7.2

Release notes: https://github.com/philsquared/Catch/releases/tag/v1.7.2