Changelog for version 2.1.0: ### General: - cli: introduced the `-check=...` to select the paradigm, instead of using 4 different options (`-check-mpi` etc). - output: IR output is disabled by default, the information emitted by PARCOACH are also shorter. - Fixed memory leaks in some analysis, and added a test in the CI checking that PARCOACH doesn't leak. - Users can now use `-time-trace` to do some profiling on PARCOACH. ### Packaging: - RHEL: created an RPM based on RHEL 8.6. - Release: release and packages are automatically created when creating a tag.