update jslint to 2013-11-23