Add coverageNoHtml option