Update JSLint.

Contrary to #743 this patch just updates JSLint.js. So it is a very simple improvement and easy to review.