lint.php: Support file as argument

Change-Id: I1a219faf8dac616f694f1308ca7e789ae8c81350