Do not build HTML coverage logs, we do not use them at all

Signed-off-by: Michal Čihař <michal@cihar.com>