Add a zulip bot that passes snippets through Charon#1331

Nadrieril merged 1 commit into

AeneasVerif:mainAeneasVerif/charon:mainfrom

Nadrieril:zulip-botNadrieril/charon:zulip-botCopy head branch name to clipboard