add CI badge.