(patch-coverage.pl) Outputs covered and total lines as well