Lint for calculating remainder with divisor of -1

[mlegner]

While for remainder with 1 there is the modulo_one lint, a remainder with -1 is only caught by the integer_arithmetic lint, which is disabled by default (playground). The issue has been discussed briefly in #663 but not resolved.

As there are only two possible outcomes when calculating the remainder with -1 (overflow/panic or 0), this should definitely be linted in my opinion. I suggest modifying the modulo_one lint to also be triggered by -1 (potentially with a different warning).

[giraffate]

@rustbot modify labels: +L-enhancement

[mlegner]

If maintainers agree that this is worthwhile, I'm happy to create a PR.

[camsteffen]

I'm not a maintainer but I say go for it. The -1 case is very similar to the 1 case in terms of uselessness.