Deprecation of lints does not work correctly with tool lints

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
 
