CoCaml v.3 release notes

- Adds the ability to run a file directly from the command line, as in "./cocaml.exe example.ml"
- Adds polymorphic sum types
- Completely reimplements lists as polymorphic sum types
- Numerous bug fixes, in particular in the parser and the type inference