Add CI badge.