Add a checkbox for jslint-happy mode