Silence linters for genereated files

Stream: Equational

[Daniel Weber]

Currently the files in Generated generate many linter warnings, unusedTactic and unusedVariables. Is there a way to silence these linters only for those files? I don't think we want to silence them in the entire project, but it's annoying to have lake build output so much (and it might hide important warnings)

[Vlad Tsyrklevich]

I think these are primarily mine, apologies for the noise. I have a PR up here to fix them https://github.com/teorth/equational_theories/pull/303