Add CircleCI badge.