New in this release:

• adds OCaml support (#149)
• adds Julia support(#159, #162, #163, #164)
• adds Elixir support (#154)
• adds Coq support (#98)
• Ruby improvements (#160)
• and other improvements (#146, #150, #125, #156)

Thanks to @rgrinberg @rockwood @AShedko @knu @netromdk @genehack @redguardtoo 🙌