Updating coverage badge.

Signed-off-by: Rob Dobson <rob.dobson@citrix.com>