Improve IIS log

[joaquimg]

close #39

Following the example of #39, we would get:

## List of issues

 * Irreducible Infeasible Subset:
   c2 : x + y >= 2
   c1: x + y <= 1

cc @datejada

[codecov]

Codecov Report

Attention: Patch coverage is 64.28571% with 5 lines in your changes missing coverage. Please review.

Project coverage is 98.06%. Comparing base (2a9241d) to head (5f44b06).

Files with missing lines	Patch %	Lines
ext/ModelAnalyzerJuMPExt/ModelAnalyzerJuMPExt.jl	0.00%	5 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #41      +/-   ##
==========================================
- Coverage   98.41%   98.06%   -0.35%     
==========================================
  Files          13       13              
  Lines        1384     1396      +12     
==========================================
+ Hits         1362     1369       +7     
- Misses         22       27       +5     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.