updated jslint.js to 2013-07-17, bumped package version