reduce duplication in bin/lint
fixes #2: accept multiple input filenames on the command line