Fix #10 add coverage badge