ignore lib/jslint-*.js for make lint; otherwise jslint chokes on old versions of itself
pull jslint 2013-09-22 from upstream
add brief docs for --edition arg
merge multi-jslint: back/forward compatible support for jslint editions