Added opam package files.
Documentation++