Option to ignore some errors in make lint

[tueda]

make lint returns a non-zero exit status if some linters fail, but they may contain bugs and/or report false positives. It is an annoying situation that CI always fails due to false positives. Maybe it is helpful if, by some options, some false positives can be circumvented.

For now, one may use make lint || true as a workaround, but it ignores all errors.