CoCaml v.4 release notes

- Adds user-defined solvers, examples of how to use them in Examples/udunit.ml, Examples/udgaussian.ml and Examples/udseparate.ml
- Adds some patterns for pattern-matching, in particular the underscore (_) that matches anything
- Numerous bug fixes