Add badge for coverage (@hodgestar, @jerith).