Add ibx-0.5.8

Fixes the core_extended build problem pointed out here:
https://github.com/OCamlPro/opam-repository/pull/833