ignore lib/jslint-*.js for make lint; otherwise jslint chokes on old versions of itself