[master] Add coverrals badge to documentation