devel/catch - update to 1.3.0
Release notes: https://github.com/philsquared/Catch/releases/tag/v1.3.0