linter should report out-of-order redundant imports

[kohlhase]

The linter seems to be order-dependent when reporting redundant imports: Compare

with

marginalization.en.tex imports the other two, but only when it is first, the other two are flagged.

It would be much better if we had a more aggressive redundant imports check in the linter.