updated coverage
updated badges
updated index.html