Copyright for ocamlsdl source package in Disco