LICENSING: Add original files from Ocaml 4.00.1