Deprecate line number filtering.

Instead, filter by locations. Locations are file-specific
whereas line number filtering is global, but global
line number filtering is semantically dubious, since
there's no meaningful connection between the same line
number in multiple files.