Add htmllint_exclude ini option