Add a coverage badge. Fix #22