lint.py: Don't lint phan's internal stubs

Supersedes !754 (closed)

Bug: T340862

Merge request reports

Loading