Testcomp script zulip webhook integration

[filipeom]

Adds an environment variable ZULIP_WEBHOOK that allows specifying a webhook to send a notification upon the termination of the testcomp script.

Example usage on my dummy zulip:

ZULIP_WEBHOOK="https://formalsec.zulipchat.com/api/v1/external/slack_incoming?api_key=dG28edLNmRyaf7BATr5WiPUenJrpf6zo&stream=448636&topic=webhook" dune exec ./testcomp/testcomp.exe

Preview:

TODO:

• Report current commit

Is there a good library to just fetch the git HEAD? Or, should I just simply get the output of: git rev-parse --short HEAD?

[zapashcanon]

Great !

Do you want me to merge now or wait for the current commit to be added in the report ? There are OCaml library to work with git but for this bench I'd simply parse the output of the command. :)

[zapashcanon]

Thanks!