Fix coverage badge because coverage was changed to show two decimals.
assigned to @hannes.mayr
mentioned in commit 9d2e1bcd
merged