Fix string15 supertype

[geoffroyleconte]

When using solve_problems and saving my results to a CSV file with CSV.jl, I generate a String15 <: InlineString <: AbstractString column for the problem names. Since supertype(String15) = InlineString which is not in default_formatters, I made the changes in this PR so that the formatter of a String15 is "%15s".

If you do not like this change, I can also set manually SolverBenchmark.default_formatters[InlineString] = "%15s" everytime and close this PR.

[codecov]

Codecov Report

Base: 75.16% // Head: 75.47% // Increases project coverage by +0.31% 🎉

Coverage data is based on head (02e154b) compared to base (42647f7).
Patch coverage: 100.00% of modified lines in pull request are covered.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #134      +/-   ##
==========================================
+ Coverage   75.16%   75.47%   +0.31%     
==========================================
  Files          12       12              
  Lines         310      314       +4     
==========================================
+ Hits          233      237       +4     
  Misses         77       77              

Impacted Files	Coverage Δ
src/formats.jl	79.31% <100.00%> (+2.38%)	⬆️
src/latex_formats.jl	84.48% <100.00%> (+0.27%)	⬆️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

[dpo]

I can also set manually SolverBenchmark.default_formatters[InlineString] = "%15s"

I think that would be better so we don't overload this package with types defined elsewhere. I've never heard of String15 or of InlineString.

[geoffroyleconte]

@dpo the way I implemented it, it is not overloaded with types defined elsewhere, and no additional modules are imported. I think saving DataFrames generated by solve_problems to CSV with CSV.jl is quite common (this is the first result when you type in google "save dataframe julia"), and I had to dig into the code to find the solution to my problem.

But if you still don't like it feel free to close this PR.

[dpo]

Ok, I see. Let's just remove the commented out code then.

[dpo]

Thank you.