devel/catch: update to 2.0.1

This is the first full release of Catch2. There may be some minor breaking
changes for some people. Please see the details below before moving to this
release.

Release notes: https://github.com/catchorg/Catch2/releases/tag/v2.0.1