(doc) update circleCI badge token