Copyright for ocaml-tools source package in Precise