Adding CI badge
Doc fix