add no.lint option to skip linting.  gjslint isn't fully supported on Windows