Add coverage badge
Release v0.8.13