CoCaml v.5 release notes

- Numerous bug fixes
- User-defined solvers
- Examples