It's time for another game of "my package just grew some new dependencies." I need reviews for the following and am willing to do reviews in exchange:
1. catch2: a C++ header-only test framework for unit tests
2. cli11: a header-only command line parser for C++11
3. drat-trim: a proof checker for DIMACS proofs
4. drat2er: a proof transformer for propositional logic, depends on 1-3