Header files shared between the various Jane Street packages.

Homepage:
https://github.com/janestreet/jane-street-headers/
