porting instructions: runLinter?

Stream: mathlib4

[Siddhartha Gadgil]

I saw while watching CI that the command build/bin/runLinter is run. It may be helpful to suggest doing this locally in the porting instructions (if that gives the correct result) to speed up development.