WIP: adding coverage badge