Remove circleci webhook

#698 removed the need for the circleci build. I have turned off the circleci webhook so it won't get triggered in the future, but at some point we should probably just delete it so it doesn't confuse some future maintainer.

I don't want to do it *now* though because we might need to restore it if something goes wrong in the transition. So I think this should wait, say, a month or so just to make sure we don't need it.

(Note only maintainers can do this, so this is mostly just informational to the maintainers.)

Issue xác định webhook CircleCI đã bị vô hiệu hóa là mục cần xóa, nhưng không nêu tên tệp, bài kiểm thử hay entry point nào. Sau khi quá trình chuyển đổi đã ổn định trong khoảng thời gian chờ được nêu, maintainer nên tìm cấu hình webhook và xóa nó; công việc được xem là hoàn tất khi webhook lỗi thời không còn tồn tại và build thay thế vẫn không bị ảnh hưởng.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.