Add warning on needless ignores

[voxpelli]

Sometimes an ignore is no longer needed and should thus be removed. We should output a warning when that is the case.