Add jslint option