update badges, add coverage