Update jslint 2014 07 08

New jslint version.

Minor changes to exit() semantics