Add jslint options