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.)

L’issue identifie le webhook CircleCI désactivé comme l’élément à supprimer, mais ne nomme aucun fichier, test ni point d’entrée. Une fois que la transition est restée stable pendant la période d’attente indiquée, un maintainer doit localiser la configuration du webhook et la supprimer ; c’est terminé lorsque le webhook obsolète n’existe plus et que le build de remplacement reste intact.

Rédigé par le modèle d'indexation à partir du texte de l'issue.