Deprecation of lints does not work correctly with tool lints

[phansch]

Observed this while working on #4348

1. util/dev update_lints incorrectly removes the lint from src/lintlist/mod.rs. It should be marked as deprecated instead by using the deprecation field
2. The lint deprecation does not take the clippy:: prefix into account