Add ibx-0.5.7
Update ocaml version
Merge pull request #705 from olgu/ibx

Add ibx-0.5.7