coverage badge: generate line coverage
Previously we were reporting the highest number from the coverage html. We now switch to the first number which is the line coverage.
Resolves: #70 (closed)
Signed-off-by: Nikos Mavrogiannopoulos nmav@gnutls.org