update CircleCI badge