utils: Check printf format strings
html-writer: Correct format string handling
doc: Remove -s option from man page
html: Add column with uncovered lines
html-writer: Fix regression where >100% coverage was possible