update jslint options